{"entities":{"Q5756580":{"pageid":7786131,"ns":120,"title":"Item:Q5756580","lastrevid":40922870,"modified":"2025-04-14T04:27:57Z","type":"item","id":"Q5756580","labels":{"en":{"language":"en","value":"A Progressive Simplifier for Satisfiability Modulo Theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187239"}},"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":"Q5756580$88E43884-A142-4F68-A592-E8220F281DDB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"caf5ea0887d6418c6e69a57bea36f3b923608ee6","datavalue":{"value":{"text":"A Progressive Simplifier for Satisfiability Modulo Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756580$AC7A6574-013A-4117-9359-A2A82D264663","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3014f73ed116788cef620378470b680f1dce6293","datavalue":{"value":"1187.68568","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756580$ED0B9B37-9E38-497D-AEBC-AE4FEF388471","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c205a0edf73b11d895b37e104fd1fcb81bb50fa2","datavalue":{"value":"10.1007/11814948_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756580$0EBAB47E-777A-4600-8475-53251AC1131C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dfb0a28ae9e145ead186547ee038757cfe7f14c","datavalue":{"value":{"entity-type":"item","numeric-id":3429160,"id":"Q3429160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756580$3864786B-6292-4626-81E7-F954077E7126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8013d305b47d697f8601f0132fb4d3c53591069c","datavalue":{"value":{"entity-type":"item","numeric-id":976992,"id":"Q976992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756580$61CB9A42-D0B4-4332-AF2A-E8E754E49FA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756580$018B4D71-6847-4AD8-A7BB-292CA5F39568","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"425e48b9986b227b93d91ab0854d5e88273c1020","datavalue":{"value":{"time":"+2007-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756580$45E0E521-C3FC-4178-B26E-36078C1E3ED5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756580$1D57640C-61C5-4E31-A287-14410549762C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756580$1386DADE-AEA2-4F42-8279-7B3D736D69E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"168150ddad83fbc27f69b5bc18a453f7ed1012cd","datavalue":{"value":"5187239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756580$C0A71AB0-3E04-4B4D-BF4E-D68AC270366E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756580$248E8B67-06EF-4F22-91F6-1E2D914F9ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"819c8fdec8960a60c30a6c613cc27585bc3ab535","datavalue":{"value":{"entity-type":"item","numeric-id":14549,"id":"Q14549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756580$DB5C0286-65C4-4595-A616-DBB22A29807B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756580$5588C17E-8AB6-48F8-9E8F-9F478938EC94","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":"Q5756580$B7683102-10CA-4755-B1AD-AD9AC04C7AC9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6e2919cff38c8fcc705784f09e8e060a4b58177c","datavalue":{"value":"https://doi.org/10.1007/11814948_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756580$69D7F271-10EC-410A-A5BD-B0BE3F67AA14","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d399a702c493a1e3d21a709417d435c004b6990","datavalue":{"value":"W1572868659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756580$4CD5F24A-452B-44E1-A7B8-5FB0F55C8722","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353b46cb2a124cc2200384a940b087517c5b273c","datavalue":{"value":{"entity-type":"item","numeric-id":1037239,"id":"Q1037239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4232a320f818ed4a61a6dad7163649427b07a9e8","datavalue":{"value":{"amount":"+0.928352","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":"Q5756580$A9A6B427-7AAA-4EA3-86AA-E07BB1680D1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060b299a48c3179c59c6541e6cf5829c59574c76","datavalue":{"value":{"entity-type":"item","numeric-id":5434475,"id":"Q5434475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad7bddd476b2950abbc3bb349e93e61f5fe542fc","datavalue":{"value":{"amount":"+0.9178401","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":"Q5756580$1F010CCD-0051-44D1-8C7E-96323C2112EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00afad4aaf71a74baa966b444aff40cf2372cfa","datavalue":{"value":{"amount":"+0.91629237","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":"Q5756580$BC377A0F-C52A-4E92-9086-5C0B43D7B667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e71bfb5b68d2283442ce2c6ed865faa5ef3fdb","datavalue":{"value":{"entity-type":"item","numeric-id":5756564,"id":"Q5756564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa4f6370fcea0c69927c5b3ad0d50e311b191230","datavalue":{"value":{"amount":"+0.91559136","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":"Q5756580$91512476-0C55-486B-ACB6-9EB1957F19D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8af80161dc8c18c8bc8a8c02cd47c9c758f8f1","datavalue":{"value":{"entity-type":"item","numeric-id":438578,"id":"Q438578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10021a20f5907861cf564e1ba0665709a35a4bcc","datavalue":{"value":{"amount":"+0.9141649","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":"Q5756580$F4E4435B-11CC-474B-879A-566BD66A5FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1905f739cf619ec41f7a0632698a1edc5845bebb","datavalue":{"value":{"entity-type":"item","numeric-id":5429314,"id":"Q5429314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5145ddbbd011a3f3908674c86e7f14f682567897","datavalue":{"value":{"amount":"+0.909978","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":"Q5756580$7EB19644-AA41-4682-A08B-C0BFEED664AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b24a5d485e1040fd0f9f0b64ebccef01f930fd47","datavalue":{"value":{"entity-type":"item","numeric-id":3506045,"id":"Q3506045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"deb2acd640b8a2f6a6d6145fc8386706d053004f","datavalue":{"value":{"amount":"+0.90715146","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":"Q5756580$3C31C6AD-E4D4-43A4-B455-CA42C3BE8504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b1a7fff6e2cd8fdd64c88798164821b0c843360","datavalue":{"value":{"entity-type":"item","numeric-id":5716575,"id":"Q5716575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8579bc1a5cbd4bc2fda7d33c23aee36e29697297","datavalue":{"value":{"amount":"+0.9027972","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":"Q5756580$34E03A8A-5032-4B2D-8EE1-B41D2F778C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10ee01b04bf937ea18106e6d39f383b6936577b","datavalue":{"value":{"entity-type":"item","numeric-id":4931590,"id":"Q4931590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f38e026266cec86b30a0e5073b38bcd008038819","datavalue":{"value":{"amount":"+0.90235716","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":"Q5756580$87596116-7634-4C2C-823F-35D0E574FF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773a16eb821af62aeef0f8b676ac1158efeefebc","datavalue":{"value":{"entity-type":"item","numeric-id":3651277,"id":"Q3651277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001c1f8051569209e55ae89b6242949be84db3d3","datavalue":{"value":{"amount":"+0.90228194","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":"Q5756580$2A9BC917-E8EA-4343-B573-49DBA03243F9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756580","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756580"}}}}}