{"entities":{"Q3460542":{"pageid":5239942,"ns":120,"title":"Item:Q3460542","lastrevid":80504738,"modified":"2026-05-06T16:21:08Z","type":"item","id":"Q3460542","labels":{"en":{"language":"en","value":"Using SMT for solving fragments of parameterised Boolean equation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6527539"}},"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":"Q3460542$CEFA6D70-E557-43FA-B4F1-2B4EDFD15BA8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0e54d85a5d532ce6fb25d255bcdd00cffa4bff3","datavalue":{"value":{"text":"Using SMT for Solving Fragments of Parameterised Boolean Equation Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460542$703CB72F-7BB6-47DC-A370-F334CA519D49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cd20c53366cde3ad7fe9bc6a50f7914d28e6b5a","datavalue":{"value":"1471.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460542$F001CF3D-7AAE-4463-B19F-D239779E8D76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"37d5973f506f10031aba8f0f8c37d1ba594be08e","datavalue":{"value":"10.1007/978-3-319-24953-7_3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460542$561A416A-487F-4BEF-964F-AA03D087723E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"88c02f8fd075cac6aba6e1112063495003134870","datavalue":{"value":{"entity-type":"item","numeric-id":3460541,"id":"Q3460541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460542$98DC0B96-7329-4DA8-8BD9-4F7B04776AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460542$197AB1DB-9D27-4177-98BA-17E0DC033A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"76fe5c2c0ffa1d2d66cabf0c3214c913c44ecffb","datavalue":{"value":{"entity-type":"item","numeric-id":505038,"id":"Q505038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460542$38E498A2-31EC-4524-8700-B35856E9BE79","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":"Q3460542$DA422B54-D9D2-4FC6-B062-0640E0E3F9C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5c9f3637fe9afbd2521d0d27a72ae8b62d5e9a1","datavalue":{"value":{"time":"+2016-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460542$F8FFB5F2-CA6F-4658-B9DE-556FE7C7B599","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460542$34E0711F-B2AB-4A71-BB04-3FCE02E35AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460542$62E16A11-527D-4A0B-AC22-340FD77FB1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460542$A76056F0-1112-4EDA-9D74-5ED658830008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460542$A3110A87-0367-4E97-A3E0-3F8F491FFF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460542$7D86DCD8-1342-4E81-A1DC-CC210B19EE9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460542$EDA6B30D-F275-4AFE-9EF4-997F22A7A82C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0b049b59bda3c9e698e9cc512d4ce621e77c5cc","datavalue":{"value":"6527539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460542$B427B141-698C-4E10-94B6-D6A944027B88","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":"Q3460542$3C8C03E2-8F7C-4C02-B59D-D2372B65658C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57a196b155328e6ea4a7f9c8712d5c083a9db3c2","datavalue":{"value":"https://doi.org/10.1007/978-3-319-24953-7_3","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460542$1ACF5308-48B4-4A43-AF1E-4B000826B47D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a85e985bc55a940f00036e62655c6745def63686","datavalue":{"value":"W2295571705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460542$1D1560EE-601F-4E3E-8641-6463F40E2F34","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93b169ac0b6ae979ce11d8bfee6e252e9a990168","datavalue":{"value":{"entity-type":"item","numeric-id":5505619,"id":"Q5505619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136d0c87ebd781c3bcddb031378905aaf42cc362","datavalue":{"value":{"amount":"+0.825153648853302","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":"Q3460542$140477CA-34AA-4234-9888-B1F0407346F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f055259f511d1e8387168ee9a8a682aa5660b1","datavalue":{"value":{"entity-type":"item","numeric-id":3617762,"id":"Q3617762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d7f8cd267f1e685ce5a420f1d4b6a9fb281ac3c","datavalue":{"value":{"amount":"+0.8014258742332458","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":"Q3460542$D5D565B0-2C0D-4544-BE6E-EC647FB885AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7045402b4500ba5e62a6d6e2e3246a9f6755a94b","datavalue":{"value":{"entity-type":"item","numeric-id":2842127,"id":"Q2842127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a11c5d65c531c89ce3edcf38bc11d0f6cd92bb38","datavalue":{"value":{"amount":"+0.7964441776275635","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":"Q3460542$CB317BB6-467F-48F7-8C7A-C1224E5CDB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332e772fe0a808e87c8b45b623fb424c6372a321","datavalue":{"value":{"entity-type":"item","numeric-id":5311482,"id":"Q5311482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2c4f522b5b903a3252a7c470233c11ba6cf9aa6","datavalue":{"value":{"amount":"+0.7867531180381775","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":"Q3460542$CDDA5475-0050-4E00-BD51-0D6C5C68EC13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bde571dc989a7055b710a38e8dcd3ecb158ea3ba","datavalue":{"value":{"entity-type":"item","numeric-id":2571204,"id":"Q2571204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5ccb20e86abc2c2322b0be0fbcfcc844d08187c","datavalue":{"value":{"amount":"+0.7833545804023743","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":"Q3460542$7240E447-0ED3-486F-9DF5-46897A2559C2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using SMT for solving fragments of parameterised Boolean equation systems","badges":[]}}}}}