{"entities":{"Q2993255":{"pageid":3003979,"ns":120,"title":"Item:Q2993255","lastrevid":85342667,"modified":"2026-06-03T07:13:36Z","type":"item","id":"Q2993255","labels":{"en":{"language":"en","value":"Theorem proving decomposition algorithm based on semi-extension rule"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6611938"}},"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":"Q2993255$5F0369DB-9F48-4D62-A9D1-6E775B68B332","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3876384ade1e901323ff27db23c56291596be9b9","datavalue":{"value":"1349.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993255$3035709C-BA87-49AA-A63E-00FB38994CB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6a232391a49e93bc609a32f34a6ef5abc3e3362","datavalue":{"value":{"entity-type":"item","numeric-id":660951,"id":"Q660951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993255$D5E30A6A-4C3F-453B-900F-25842D256C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6f955dd7f9dcc991a18e5e861867f2efeecd8b5","datavalue":{"value":{"entity-type":"item","numeric-id":218807,"id":"Q218807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993255$AFB64ECF-A0EC-4034-8C85-0E1557CB530B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1de4b9669ff9ade18e8990ed95ecf6b171debf52","datavalue":{"value":{"entity-type":"item","numeric-id":939827,"id":"Q939827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2993255$D8A1820D-4D60-48EB-BB16-EEE7C8B12F0E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"632762f18b1136ebfb5f13b4269afddfefdbe92e","datavalue":{"value":{"time":"+2016-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2993255$F97AD516-0085-4F07-AAF4-250538DEB491","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993255$8C71283E-287D-41EB-A95D-5604394D9B99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d698448d6d68248ad6c2bf86d45fdcecf7ed443b","datavalue":{"value":"6611938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993255$25C50124-B2A4-4E47-81AC-2893C9195178","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993255$4EDFE103-F859-4A08-872E-B77A878EF055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993255$0ED56496-52A1-477D-BBA1-F879975009E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c9c64d0b9070e32b1957f7e6f3c7e8f11356c9","datavalue":{"value":"extension rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993255$1ED56568-8961-4E23-ABD1-182F90B141AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2993255$4A7C257E-E34D-4E46-B6A0-1BD478B9A3D3","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":"Q2993255$5A8A55B5-0A19-4DB1-918E-48DF2684C266","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"05517088c35bda477c2d84836f0a293c7cd8af4e","datavalue":{"value":"10.13328/J.CNKI.JOS.004734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2993255$6D5797D1-944D-4D31-8FCA-783754D7EEE1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cdf05f5cb0a9d8fa549fa80f57f25e99f257336","datavalue":{"value":{"entity-type":"item","numeric-id":3054228,"id":"Q3054228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b21bf1a5d117dbcf1ece171ceabeae2b929760b8","datavalue":{"value":{"amount":"+0.806618869304657","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":"Q2993255$5811FA7A-9D9C-4072-9731-F3713A3DE959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bfad6f3675bce0340abe4f272368fce6b4438c","datavalue":{"value":{"entity-type":"item","numeric-id":5757963,"id":"Q5757963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"373214d8a4a202edb64eb62fe5b4f28a5d508c8e","datavalue":{"value":{"amount":"+0.7767938375473022","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":"Q2993255$6E82720B-196A-4D84-944E-BCD1E9ED61E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c8e779d38f59f17c27d5a271ccaf92826d30698","datavalue":{"value":{"entity-type":"item","numeric-id":1431338,"id":"Q1431338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa08d20e3ffafa6bd0d13b641e16c4aaf663c3b0","datavalue":{"value":{"amount":"+0.7677057385444641","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":"Q2993255$68398B18-0ACB-48DB-81F1-C30D6BCDCA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961868c838bbcd308e52a675ed2ba3c756a6cb74","datavalue":{"value":{"entity-type":"item","numeric-id":4372940,"id":"Q4372940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49cf22e5ee55012b46c1d59279b07e6b754c246f","datavalue":{"value":{"amount":"+0.6945386528968811","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":"Q2993255$6827C701-44A8-4474-93AD-574F8B56A3EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be2b633ea4b34a6290cf9d900a01501160c896a5","datavalue":{"value":{"entity-type":"item","numeric-id":3727949,"id":"Q3727949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19fa6df41d000206854dcc1283a4643b6405f18c","datavalue":{"value":{"amount":"+0.6932663917541504","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":"Q2993255$FB026E2F-049A-4DC5-ADCC-EEC2ED8EAA12","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving decomposition algorithm based on semi-extension rule","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_decomposition_algorithm_based_on_semi-extension_rule"}}}}}