{"entities":{"Q3510816":{"pageid":5540720,"ns":120,"title":"Item:Q3510816","lastrevid":48867106,"modified":"2026-01-06T01:12:30Z","type":"item","id":"Q3510816","labels":{"en":{"language":"en","value":"3-Valued Circuit SAT for STE with Automatic Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297055"}},"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":"Q3510816$F4C107B3-3C63-45BB-B24F-3DE44A819C1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d01fb19b7808a3520eeec4ab2d40ea3695560bd1","datavalue":{"value":{"text":"3-Valued Circuit SAT for STE with Automatic Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510816$9D14E5CA-A757-4E9F-802C-B3BA2C3F39B2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02d3ff560c006e3ddd955618d929f0a00015ce3d","datavalue":{"value":"1141.68467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510816$6F926A88-F829-4231-8978-181F85F2AACC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7c5dc23c8a5bf1762cacc470297f5722e66c7434","datavalue":{"value":"10.1007/978-3-540-75596-8_32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510816$AD914DF1-69A2-49D0-9BE9-B9A9D43D61C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$EB1911A9-D2AD-419B-A385-E64616070114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3d4a48d9e606e6390cc1e5ddf7ebc665ee43fe3","datavalue":{"value":{"entity-type":"item","numeric-id":192371,"id":"Q192371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$63F1C244-41DD-45FA-AC69-C44E965DDFD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d868827466c885a3b5117a7ce3a645fcebffc77e","datavalue":{"value":{"entity-type":"item","numeric-id":3510815,"id":"Q3510815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$1691049A-033B-4DDB-9839-49BDE8993041","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$9FAE0539-A2B0-499B-AA96-F3F39A9B9094","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510816$27A986D0-808F-43CC-8B76-A3C96A89898B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510816$EF6C07AB-099F-434C-8421-02B8C19C31B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510816$BF888C9F-D813-46C3-A1FB-A8B5EE9588A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510816$C322AEB4-29AC-4AB8-B7A8-721A6532BDA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1aae36b968789801e8506273560c41ddef14197","datavalue":{"value":"5297055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510816$FDC654B9-0F79-4789-9A77-5F63765D13D2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$DAA9F033-356A-4449-91CC-787D2F784A8C","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":"Q3510816$13C47226-DBE2-41B9-A629-54CCC28059A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa7794e28bd5aa1dd097a22fba005d24c86ad5f6","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_32","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510816$3D540EC4-26D1-4445-96FC-F8518888055D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b44d0517c4fbdb856989008dcb1d30ed178dc3f","datavalue":{"value":"W1488816276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510816$89B41A44-8046-4EAE-94BC-0F87A070A346","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3199ee993e7659b1e87a4f739fb4a0238b116c7f","datavalue":{"value":{"entity-type":"item","numeric-id":4553262,"id":"Q4553262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$6FF0A36A-0DBD-4968-A584-A054DAF3D3A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$1E279316-D002-4E4D-A1D8-5DB86FF37238","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$DE3625CB-5820-4ABB-BADA-51C097E3190B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$1A3E4AAA-2AC7-4EAD-BCD0-07F8AEE9EC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d41d0120919fda0fd18606df9762b0799e9d9621","datavalue":{"value":{"entity-type":"item","numeric-id":3630184,"id":"Q3630184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$61EE8415-F650-464D-92B8-C3DB6AE90CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"175364375b53b2089f6fa253b45a6043f6abec03","datavalue":{"value":{"entity-type":"item","numeric-id":5312944,"id":"Q5312944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$A0789D7E-D529-4776-942A-CB80D1F19946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9275dab0b84f9e94977bb0d9f6f76af3a73bf3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5756739,"id":"Q5756739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$C97C70F4-5CA4-416D-A3B2-614B5D2A9875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7b5fa9b205a479f7043d1f02b59d43eb670dc95","datavalue":{"value":{"entity-type":"item","numeric-id":5234711,"id":"Q5234711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510816$9CC19569-21DF-4CFF-8DBA-C66C8E9E10CC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"772471dea4fff19234b138f268654d47ef8408cb","datavalue":{"value":{"entity-type":"item","numeric-id":5145331,"id":"Q5145331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2cdca91ce9b81eb5f7849bbecc73773596646b1","datavalue":{"value":{"amount":"+0.8200116","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510816$AABDC7C8-C859-4329-B87B-F7CB13182701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"955a96fc7a6669b3524f5e66da5f8db9380af047","datavalue":{"value":{"entity-type":"item","numeric-id":5305561,"id":"Q5305561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4b1d3953ab80cfab83c30a4a55fe9057f644c68","datavalue":{"value":{"amount":"+0.8185481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510816$A9BFF8C0-1C2F-43C6-9343-1A22192874BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"065a60a9b9c65becb781cb3f5367282d6681b5f8","datavalue":{"value":{"entity-type":"item","numeric-id":5080482,"id":"Q5080482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3af69494bd6ece23671b20171b6c84ee4d0d9ed","datavalue":{"value":{"amount":"+0.81571865","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510816$0328474C-7329-4D92-AB2D-52207400B655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17188ee832921a4496f7696e1dc4254a8888bf5f","datavalue":{"value":{"entity-type":"item","numeric-id":5015598,"id":"Q5015598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6fe47bee5c98f0f640abb3cd924c022cb2abd1b","datavalue":{"value":{"amount":"+0.81333923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510816$5CFA9EA4-531F-4212-9B26-7EEC166A091A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68dd49e8d790217f4c6e141204af1920c329f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4283247,"id":"Q4283247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0908b8283a308ccd4ac1c7bbd725bd718f24bf6","datavalue":{"value":{"amount":"+0.80500996","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510816$AD9B06D4-73FC-4598-8595-CAB89CA104E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38fc0cac9ab2cdce4575e1e06cc6d66a21e2bc5e","datavalue":{"value":{"entity-type":"item","numeric-id":1200758,"id":"Q1200758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac0315946653ee3e097660966d4361d337d258d","datavalue":{"value":{"amount":"+0.8015127","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510816$31AAF91E-54D0-40D4-BC74-8CD13E1A2FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26eb4a149e3c8ff18b73f04ba8168f179abadb43","datavalue":{"value":{"entity-type":"item","numeric-id":1960406,"id":"Q1960406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b6cb1d0ab4dea3a98d2cf51943a71e07900cee","datavalue":{"value":{"amount":"+0.8001017","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510816$23D73B72-770C-4F6C-AB51-597E0DB81677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"380b633ea13e8e63a30dadca35f9695a44b8b1a1","datavalue":{"value":{"entity-type":"item","numeric-id":5226839,"id":"Q5226839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df819336671979f2fd1e52042288bf31d04f0b4","datavalue":{"value":{"amount":"+0.7946951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510816$3AC98EB8-296B-4866-9E8D-C236CD6C270C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5474c04ed2df1bdcbd4830cfe4daee9be739f46","datavalue":{"value":{"entity-type":"item","numeric-id":5116495,"id":"Q5116495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3df819336671979f2fd1e52042288bf31d04f0b4","datavalue":{"value":{"amount":"+0.7946951","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3510816$E91EFC51-B8C3-49C6-91FD-8386B03F5D52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510816","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510816"}}}}}