{"entities":{"Q3617753":{"pageid":5647659,"ns":120,"title":"Item:Q3617753","lastrevid":90387509,"modified":"2026-06-04T20:03:09Z","type":"item","id":"Q3617753","labels":{"en":{"language":"en","value":"Compositional Predicate Abstraction from Game Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5535623"}},"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":"Q3617753$082594BC-F9EC-417D-B708-5E112AE24736","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1d8110b81ce3eca77717bab54aabeb33f12d21ee","datavalue":{"value":{"text":"Compositional Predicate Abstraction from Game Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3617753$B1D550C0-C049-49E1-9CAF-BAABD29A523F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe911392c68841f0bf3ffff41f7fd2155c62a758","datavalue":{"value":"1234.68069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617753$9465623A-EA92-42EC-B2EE-4DDB1830E6F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f98ba7428b58c4c7ab33dee5db24ef1842350d1a","datavalue":{"value":"10.1007/978-3-642-00768-2_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617753$7CA7C11E-408A-4CE6-A051-F42C2D6CBDD4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"323444a1ca5863db09ece838c5140263a449b8b1","datavalue":{"value":{"entity-type":"item","numeric-id":2766782,"id":"Q2766782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$91FF072D-C74C-4445-8565-6812F3BEF13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5185e8175824add6dc52d9a0d759ffa7ca714345","datavalue":{"value":{"entity-type":"item","numeric-id":1566882,"id":"Q1566882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$0413D341-45DA-46FA-BC81-9BCE183DB50D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$EF143531-0956-4406-AFC8-90A4683EB1C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d580ae26129476b328bb73be10f00e061bcab60","datavalue":{"value":{"time":"+2009-03-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3617753$F3F1D19C-8C57-407E-94B6-7B6D819D91E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617753$7E8CFBC2-C3DD-4686-95F2-40C560BE10AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617753$58A038BB-B8DD-4B72-BBB3-9CF1F5D6B769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617753$EE43304C-839B-4B5D-A2BA-F9D8A3CAF5AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617753$E1B1D7D7-238F-4CE8-BE1E-077813FE6389","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"64ba60ac19ea4da767592994bd7f4ed98d45081c","datavalue":{"value":"5535623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617753$23077749-2198-49A3-959A-6810A5E655A3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$E117C8FA-4606-4A9A-9624-8398375DE767","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":"Q3617753$372EFF02-73A8-439B-A779-F0EA552F11AB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55560f7e3dc80ec727899cb21e300b88f7bcf159","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00768-2_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q3617753$DEB28BB1-5BED-41C6-93E7-A4A00AE5B18A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7dd48d50dbdd7b3c5949d2e68041c62976129589","datavalue":{"value":"W2117775512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3617753$E03D5E2D-3719-4F4C-859F-87E4E361F61E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea27c2074b50bb307d13b5988cbec7e603c4989b","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$9D5861F9-ED9F-4FD4-8063-4BD35D8E2DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18f4aa5c560d7330cde0fddfbd1a748cf9bc0f76","datavalue":{"value":{"entity-type":"item","numeric-id":5897431,"id":"Q5897431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$E2D84B12-2B33-4961-B16F-69D2E0A52733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77835ea41da83053700fdc98383bb8b3fd3094c6","datavalue":{"value":{"entity-type":"item","numeric-id":5899066,"id":"Q5899066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$8E9161DC-E280-4E5B-A5DC-049C904E644E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7265e9e11cef8ee9783f60b6b7d3fb8808c7c56d","datavalue":{"value":{"entity-type":"item","numeric-id":5458322,"id":"Q5458322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$7CF57A21-8F1C-44F1-AF24-3BE2DF9F80ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"598d99525e9a0094b9fed1dcff845cc4b8ee91b7","datavalue":{"value":{"entity-type":"item","numeric-id":1854394,"id":"Q1854394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$CE52D8C8-FFDA-47CA-9460-823797C720EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b44d5c81f7735368555911d4bd1908764544894","datavalue":{"value":{"entity-type":"item","numeric-id":1854393,"id":"Q1854393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$A0D7E2CB-E588-4DEF-B679-A44BBAF3879E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f7228d911878a16429788a7e2e2b8ecaf57db22","datavalue":{"value":{"entity-type":"item","numeric-id":4817541,"id":"Q4817541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$E39207F1-8261-405E-869D-5711A2EEED73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f38c139f8c492dec370418023cbf8c9fd1ef84a","datavalue":{"value":{"entity-type":"item","numeric-id":4222822,"id":"Q4222822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$C15EA6C5-F05C-4E8B-AAFA-A11D4A12AD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340b1a67b2cb88bc1a79812f682d43444abf5b93","datavalue":{"value":{"entity-type":"item","numeric-id":3932278,"id":"Q3932278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$56D646BD-5093-4AF3-A762-525790B5BFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6c2a0bbfd65e6f3d4ca31107fea6b84b41955b","datavalue":{"value":{"entity-type":"item","numeric-id":1884909,"id":"Q1884909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$E6A89D8D-3BAC-4795-827C-55B3B932C36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5503ec6758ecd10ef48d90e9f8352ed2cf9d1543","datavalue":{"value":{"entity-type":"item","numeric-id":2474444,"id":"Q2474444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$9A09218F-B15E-45F2-B9B4-2F3F14019635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39a5026cbf89e25b5277eeb9400196d82eae056","datavalue":{"value":{"entity-type":"item","numeric-id":5897055,"id":"Q5897055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3617753$30EAC968-8DA9-4C17-941B-F18994F80966","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aebd28f839dc286c747c18611df2ff5bf527893","datavalue":{"value":{"entity-type":"item","numeric-id":5308424,"id":"Q5308424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1175720fb0cd0ab1fedee9db22d1e1152ec9a37","datavalue":{"value":{"amount":"+0.7994644045829773","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":"Q3617753$BFA0834F-448D-4CB4-81DB-9777ECDBA5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7dc2298258377d3ac3f98ed2a2f957612bcdfc0","datavalue":{"value":{"entity-type":"item","numeric-id":2722062,"id":"Q2722062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df14463ab7d6859cbbbb35f09ea9509a33fc73f2","datavalue":{"value":{"amount":"+0.7585408091545105","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":"Q3617753$B91F946A-E86D-4DFE-96C5-B8C9AF8F964E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b350d1c8a2d0d105c4a86b314f7f68cc8c91c88d","datavalue":{"value":{"entity-type":"item","numeric-id":3000620,"id":"Q3000620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df14463ab7d6859cbbbb35f09ea9509a33fc73f2","datavalue":{"value":{"amount":"+0.7585408091545105","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":"Q3617753$6A705203-098C-47A3-8C4F-9C9CC887B61B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a55267f8829b9068a8f8e7bfcc6ce087b0210d9","datavalue":{"value":{"entity-type":"item","numeric-id":5415661,"id":"Q5415661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e107cc38f5324ea884df541d27c3e00a352c5d","datavalue":{"value":{"amount":"+0.7563766241073608","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":"Q3617753$9B8D6C79-5236-4F84-AF2B-4963A0D074A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23a272d11758b69c254348d9efba3a92e373c57f","datavalue":{"value":{"entity-type":"item","numeric-id":5899066,"id":"Q5899066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93417555c1aba9f7c04dce034dce98f6961c0db6","datavalue":{"value":{"amount":"+0.7491734027862549","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":"Q3617753$D644554B-1A64-4F02-B13E-55BAAE6DD053","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional Predicate Abstraction from Game Semantics","badges":[]}}}}}