{"entities":{"Q6535690":{"pageid":14146833,"ns":120,"title":"Item:Q6535690","lastrevid":57343854,"modified":"2026-03-30T14:05:20Z","type":"item","id":"Q6535690","labels":{"en":{"language":"en","value":"Boolean abstractions for realizability modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7798104"}},"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":"Q6535690$33E30467-8A02-4583-8124-4A76A6B8CC7D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"845dd92d5d2fbddecfed2a1ce11856c891718bf7","datavalue":{"value":{"text":"Boolean abstractions for realizability modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535690$58B8F767-3DF2-4F39-88E2-E2AEDC95CD19","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9cbe6ee978ca8034c1b91f9f3ecc2cd0fbb868c8","datavalue":{"value":"1547.68451","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535690$9AB35186-3C40-48E9-B903-5413D2B3E1BA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bf5dbbf4aa1bf9363d03ea44495e01121c1ef457","datavalue":{"value":"10.1007/978-3-031-37709-9_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535690$B65FD369-F617-4E6B-A5D0-6391EAF045CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe39e800ff28d2da8e8cd0b9a0ed3b5d5cf14c46","datavalue":{"value":{"entity-type":"item","numeric-id":6535689,"id":"Q6535689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$2CEEECC0-A234-4F3C-AF90-49F655C76B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$951C9B19-0292-4EBD-9B74-5FC88C7BD6DF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee76859de6cb7315119a0b9d8fb63ade5f4cb1a2","datavalue":{"value":{"time":"+2024-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535690$DE0624E1-E6EF-4BC4-9419-4370B51FD23A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535690$C8B1F55A-29DE-46DB-9FB8-59CC7E71282C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535690$19054535-397F-4D6A-82AF-22E1997A3DEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"171e4e4d073c5867b9da80704178ff6996b2fb69","datavalue":{"value":"7798104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535690$B8B24F28-B253-4AB8-B917-9E8DBB0F3FB2","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":"Q6535690$0D94F4D5-09C2-4EBD-A14A-D30DA8C81981","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dcb4c4f48b8b4eb33bf1507e41474299ffa8a48","datavalue":{"value":{"entity-type":"item","numeric-id":832272,"id":"Q832272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$093085F9-F32C-4DCD-85C6-779954AE3E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322fecad43f015e89045865f02f35505e3964273","datavalue":{"value":{"entity-type":"item","numeric-id":2058393,"id":"Q2058393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$F13F98B8-084A-4721-943F-7D19DB53C0C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6af1feed9420fbd9bfd80527390996ecd04d3fa9","datavalue":{"value":{"entity-type":"item","numeric-id":439954,"id":"Q439954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$C33CDFCA-0316-4846-92BB-970C968E0D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"448e5abb05ec0c10b64746c80e216ef9d23df3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5674430,"id":"Q5674430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$72883ABA-A640-4B0B-AB3B-40BF479E3A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d713119ce499c7aa6060f9ba74dfee79edde132","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$BD727181-B045-4BEA-A490-FB86C86FC3F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebc578b41e877f4673edecb33e9ba731558625b3","datavalue":{"value":{"entity-type":"item","numeric-id":5222965,"id":"Q5222965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$D73F9235-CBD3-4D39-8C1A-DDB4A8DDC511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46961e556ffa0fa93ce9cc4445d14fe5890c5500","datavalue":{"value":{"entity-type":"item","numeric-id":6141780,"id":"Q6141780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$4D8884FE-FA41-4194-BCD5-45B6EAFBAAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6effecd664f7d3305e8ec94d107dda510051aca","datavalue":{"value":{"entity-type":"item","numeric-id":6194596,"id":"Q6194596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$BEC5803B-6C0A-4236-A9DF-D71679D2FEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$39280DC0-F4D6-474F-8DA0-21DE316AE221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$F84B091E-3BFD-4A12-879E-575A195C2E14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d835fa459b73410c61bf5c354506b5995c700aad","datavalue":{"value":{"entity-type":"item","numeric-id":272009,"id":"Q272009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$846AE73D-BA0B-4D47-BEBA-195BD82CEAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$B5204595-46CD-4BFE-BDBA-139ED6B5B097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee375c7bcc9847e2999b97cdff8f98ca7e0a19de","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$4C95EE8D-A30B-455E-A53A-D49F1E98073E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$77119B63-560F-4EEA-8EB1-BEF45D9EA283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f406c2e61a8f11f8b13ee95227117f1cfc523bb1","datavalue":{"value":{"entity-type":"item","numeric-id":5452202,"id":"Q5452202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$6796F68E-FBFB-4D47-93E5-9BEA5A738501","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6bd4a16e349e72fe99e8cd1c1218b0041a2ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3648828,"id":"Q3648828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb4df5327d0819d852c7f7b5885cefc992db5146","datavalue":{"value":{"amount":"+0.7339044809341431","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":"Q6535690$F96B19AC-40AE-4502-93AF-51589133901D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e985603d9e86b9ee2b0915f364a209fe898dfd2","datavalue":{"value":{"entity-type":"item","numeric-id":6174549,"id":"Q6174549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70d266aa0e56a1fd88929a2aaab128d98e1d70f1","datavalue":{"value":{"amount":"+0.7302393913269043","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":"Q6535690$9DD535BF-97BE-4658-8F40-1EA27384F93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db0ad2fb1cfc32aa925b169171d86e8cd250761","datavalue":{"value":{"entity-type":"item","numeric-id":5429344,"id":"Q5429344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1007f29dd3e5cbbeac46f972bbe0c3701e5ad9ed","datavalue":{"value":{"amount":"+0.7041627764701843","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":"Q6535690$8F28A8ED-3B05-4B40-A5E1-E369F746933A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1570e8e6df9a166de21e9ab2855050a8664ac45","datavalue":{"value":{"entity-type":"item","numeric-id":3636866,"id":"Q3636866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2b65695f85a1145146c88146ab00c50965346ce","datavalue":{"value":{"amount":"+0.7022439241409302","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":"Q6535690$BD315452-E46E-4D46-9304-AF44564B584C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ecdbc4d463644f2faa2eefbe26a4c9b87c1eb0","datavalue":{"value":{"entity-type":"item","numeric-id":5898629,"id":"Q5898629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49e5066e22a704842faa8564b3718210bc2cab51","datavalue":{"value":{"amount":"+0.6944677829742432","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":"Q6535690$374E3EEC-A168-49B7-8A13-0CC714C09475","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535690$847A072F-B51F-46DE-BF65-DA305C65DFDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535690","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535690"}}}}}