{"entities":{"Q3525013":{"pageid":5554917,"ns":120,"title":"Item:Q3525013","lastrevid":90252932,"modified":"2026-06-04T19:41:19Z","type":"item","id":"Q3525013","labels":{"en":{"language":"en","value":"Combining Proof-Producing Decision Procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344258"}},"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":"Q3525013$14CE26AC-8DD0-4163-B334-9048595E175D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"603e2341f246bbce329a144c42c364e2e5016f77","datavalue":{"value":{"text":"Combining Proof-Producing Decision Procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525013$1DB5D13F-7D18-41AA-9E78-74D232F8426A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"095d9e3fb9cf8a441d3d0f8b9fb7cc2f660f6f72","datavalue":{"value":"1148.68467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525013$CB5662F7-3AD8-45A6-A541-5AC9B4A59BC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"de92bd143903ef58630f8985bd9b99aa67376e53","datavalue":{"value":"10.1007/978-3-540-74621-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525013$C0C2AB51-2A15-43E1-BBB2-44A92B7B58B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a648f5f5c43d7007feb24ddb34b99c77877b620","datavalue":{"value":{"entity-type":"item","numeric-id":219438,"id":"Q219438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525013$52305CED-6F7C-46D0-8A63-13545A9C8BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28d2abcbf491e57c8b4eebf23b3e8446f4e5bbb9","datavalue":{"value":{"entity-type":"item","numeric-id":831918,"id":"Q831918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525013$DD9FF80B-1181-45E9-84CF-D87C1D47F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"07a178d18a9f8c24a5f96b1a95fb87bf2a0de8ff","datavalue":{"value":{"entity-type":"item","numeric-id":1041592,"id":"Q1041592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525013$0B70457A-EFC1-4F97-B0A2-F93D41B278D5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525013$95E69A12-88B8-4861-B996-C77DE0A4AEAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae960b13deac5afb5a738e4b316ea7d581125be5","datavalue":{"value":{"time":"+2008-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525013$CBD4DA0F-A891-472C-B114-611ABFD49467","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fa583f7dc89877c3f207459537d010a454ee6c9","datavalue":{"value":"http://edoc.mpg.de/356492","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525013$D0047866-2E08-4745-86A3-F08BC6AF59A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525013$2171EF13-62ED-4EE1-8F30-E0C08AE8767B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e2dfea8403b5565893750015347ef9f5cdc39f6","datavalue":{"value":"5344258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525013$69B585E9-3E7A-4802-AB21-A867EA33E63E","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":"Q3525013$B6366403-F473-409B-8372-0F39D4C29160","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"560198ab48f1574b95075a1131c7cd98ff2ee5db","datavalue":{"value":"W1608308814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525013$8524AA1D-73FE-4B33-9CE8-FDB5D79D70C3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34042074424629bd83d8896f49edbcb655026836","datavalue":{"value":{"entity-type":"item","numeric-id":1041593,"id":"Q1041593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12cfba6066fae48520f44b5257549d76955d4ba5","datavalue":{"value":{"amount":"+0.8147420883178711","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":"Q3525013$B0664063-2F78-46E3-AD98-63905F804948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43b31fc71a6b23556d529814a409bb49f6e92fa7","datavalue":{"value":{"entity-type":"item","numeric-id":1853591,"id":"Q1853591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0876e3db3a9748aa0fe6332fb32d7560ef82e61","datavalue":{"value":{"amount":"+0.7579382658004761","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":"Q3525013$A696BE68-4677-4F77-AC42-4E9F367E05BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c7753b0ba6315f743e142b8c993760203261530","datavalue":{"value":{"entity-type":"item","numeric-id":4808733,"id":"Q4808733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6aaf1306a7b323943ec120feda4ccd9eab0d6d6","datavalue":{"value":{"amount":"+0.7532082200050354","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":"Q3525013$AECCA5A0-2412-40FA-8C6F-6F350A555AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5ec514b9c2e158b54e2132228edad9c9392f9a4","datavalue":{"value":{"entity-type":"item","numeric-id":4385439,"id":"Q4385439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb72413eb66709ac2210579b134a0f453b050a90","datavalue":{"value":{"amount":"+0.7502990961074829","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":"Q3525013$C83CBAF1-E4AC-46D8-BE02-943F4B1FE8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aacc1f5369652bfcb7aa68a5ebbe7157872e8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4737123,"id":"Q4737123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb72413eb66709ac2210579b134a0f453b050a90","datavalue":{"value":{"amount":"+0.7502990961074829","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":"Q3525013$54519E5E-26A4-458A-B3D7-CFA71F1455AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining Proof-Producing Decision Procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_Proof-Producing_Decision_Procedures"}}}}}