{"entities":{"Q6535199":{"pageid":14146342,"ns":120,"title":"Item:Q6535199","lastrevid":55517620,"modified":"2026-02-17T18:05:27Z","type":"item","id":"Q6535199","labels":{"en":{"language":"en","value":"Automated polyhedral abstraction proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7766966"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$2C01764A-AD2B-4A68-BF70-56E169934B37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9da09e9a0940271365cb12d51abdb7a88abdc86","datavalue":{"value":{"text":"Automated polyhedral abstraction proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535199$89CE5A38-BA97-46A3-8AF2-946B1086DCBC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18cf0783bb96fac06945264963efff7dfa91ebd8","datavalue":{"value":"1541.68235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535199$5C9AF141-7884-4615-A572-0E9B03D80428","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4e37e9c2403de6fe42e17fa0f87789d417979b4","datavalue":{"value":"10.1007/978-3-031-33620-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535199$92EE2749-8BA2-4454-B7C1-20FB29B09422","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f3c7efebe2f9024c5b6b810fe216f59b71d84d5","datavalue":{"value":{"entity-type":"item","numeric-id":832010,"id":"Q832010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$EDC4148B-A8C1-45B2-9929-AE4E58C0F137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0abdcf23e4efad91f7981d119437b265cc4740","datavalue":{"value":{"entity-type":"item","numeric-id":832011,"id":"Q832011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$04D4F582-E04B-46C5-A1CF-7CC3D31CBDFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1980a9c0797ffa4bfacbce2f067d20f132d76a72","datavalue":{"value":{"entity-type":"item","numeric-id":832012,"id":"Q832012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$ACCAC172-D003-4946-9AD1-8200F97A2AD9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ec3ecea5c09fc0c2fccf666e4f503b4f338e1922","datavalue":{"value":{"time":"+2023-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535199$33672B08-A952-4492-B5D5-DF137085307C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535199$27BA7E0C-C2E7-42A2-B68A-F89EC32BEE19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2871621b4e9a3c4f3ce12229108cf5881626e0a5","datavalue":{"value":"7766966","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535199$65551B61-786A-47E4-9962-35BC2117B3C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535199$A7CE4C5B-1D35-4E43-BDFB-CD6197CB90E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d8e2efc7df3903c0107abe78dd6554d1162f962","datavalue":{"value":"abstraction techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535199$927B4DC4-17EA-4B3F-AF06-3119124EC656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"becb98136fa67ebf3410105d9bcaf0fb5f08ec10","datavalue":{"value":"reachability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535199$C92957F8-2CD6-43AF-8B8B-853565DA3E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535199$2425D343-EA7E-4A8C-8B64-A83C8F103AAE","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$A62FD29E-E89B-4EE0-B207-18986372248B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d964a7e8b4bb30f1f720943cf564b811273c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2117166,"id":"Q2117166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$35E37C40-FD74-4BB6-959F-549C2558A75C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3558fca2290ee1acd46732621485a0950046de","datavalue":{"value":{"entity-type":"item","numeric-id":5044397,"id":"Q5044397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$DF42741A-5FF9-4853-BD63-326C2ED75078","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a015d38a03b581e081332fa3dd03008f2d5c592","datavalue":{"value":{"entity-type":"item","numeric-id":6535575,"id":"Q6535575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$911A7E92-F427-49EF-97F6-15040EB0510D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a4629bdf294e70d41b4a14fa189825eab91674","datavalue":{"value":{"entity-type":"item","numeric-id":832013,"id":"Q832013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$E3A54470-929B-4BC9-9313-DC053FE6852B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e224af4ec8d4140c6ec54c521204774f44beee","datavalue":{"value":{"entity-type":"item","numeric-id":4270057,"id":"Q4270057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$1207B5EA-FB6B-433D-A2DA-9889D6748FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1585abe38b30ffcb2ab1ee21cf12748dd806d44c","datavalue":{"value":{"entity-type":"item","numeric-id":3773358,"id":"Q3773358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$19A5CFF9-AD9F-4B6E-8BFF-CA971D9ED490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae62d42ccd7d40a5dd3b805e26ac55bb92a80ed","datavalue":{"value":{"entity-type":"item","numeric-id":5883572,"id":"Q5883572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$462FA69D-D4E0-4B19-8F54-C1602D08441A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$6595F718-FA38-4553-9E81-FFC6BE3D78E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257df51e393b0d853943fde502aaeb273a88b89c","datavalue":{"value":{"entity-type":"item","numeric-id":4289279,"id":"Q4289279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$5C01E0C6-9182-4E2F-B095-375CA1B3FA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0deeef39be58c8f47637dd9909466046884d08b4","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$8E1140B4-F128-4770-9F68-C30CFB208928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ee0f450a29acfe882be49e47dbfa2724801427","datavalue":{"value":{"entity-type":"item","numeric-id":5271037,"id":"Q5271037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$8E377902-D628-4CD9-82B2-8584255D2506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9b64af2c64cc7696167d04d7c8e64bdeca6bb2","datavalue":{"value":{"entity-type":"item","numeric-id":3617750,"id":"Q3617750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535199$8B74CB70-DEDD-4C2C-BE1C-C918A026689A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c7d9fadd5b238c12526b64df674af1a310a9d17","datavalue":{"value":{"entity-type":"item","numeric-id":5044397,"id":"Q5044397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3f93b763387a360a0fbc501c5e0737f1f8be99f","datavalue":{"value":{"amount":"+0.8328907489776611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535199$595D4FAD-C303-46EE-BB81-A4AD17B0BB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b7042c1ec5bd9328cabf33e235a2e5cd181841","datavalue":{"value":{"entity-type":"item","numeric-id":2117166,"id":"Q2117166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a784d38eff1a01edf2e43533046d2a44c47ce0ed","datavalue":{"value":{"amount":"+0.7986122369766235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535199$BEF94D48-9651-4E71-8350-16AFE99C3744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d7b31127f6458fb50bd16155ff5515f299a566c","datavalue":{"value":{"entity-type":"item","numeric-id":3612929,"id":"Q3612929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b0c2134bf4bfae3a2f5f803863d33be6d6e66c7","datavalue":{"value":{"amount":"+0.7780489325523376","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535199$DA6A4A0F-E7EE-4CE9-89D2-897E705E86CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a17a224563afe99658c86e6a53dac5e5d517706b","datavalue":{"value":{"entity-type":"item","numeric-id":3601862,"id":"Q3601862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09f79a078d9c1b52831760fd5db73edf2630e82","datavalue":{"value":{"amount":"+0.778048574924469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535199$4BD51FC3-9F99-46E1-8F60-F2521E41B020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35cb281754ddfbdf132253aa57bc4996b822a6c5","datavalue":{"value":{"entity-type":"item","numeric-id":2848044,"id":"Q2848044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2ff0fff02339484c7fc7e04b9a2f4de30e2a821","datavalue":{"value":{"amount":"+0.7333347201347351","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6535199$8DDF6DFA-D859-4DB8-B1D1-3FD851318069","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535199","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535199"}}}}}