{"entities":{"Q6651950":{"pageid":14263107,"ns":120,"title":"Item:Q6651950","lastrevid":100048835,"modified":"2026-06-05T21:18:51Z","type":"item","id":"Q6651950","labels":{"en":{"language":"en","value":"Combinatorial proofs and decomposition theorems for first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7957013"}},"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":"Q6651950$2617B2FB-3D6C-43B8-8668-6E07B1CC849B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"980655e722cbc0a0cdeed9629a622de296aa2cbc","datavalue":{"value":{"text":"Combinatorial proofs and decomposition theorems for first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6651950$C946C6C9-6EB2-4732-B701-84587A846784","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60a6fb77bcf0b394c00a7538f521b004cd04912","datavalue":{"value":{"time":"+2024-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6651950$79738AB5-CCCE-4679-B4BE-578372AB7933","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651950$A5CD5095-AECB-4BAD-920C-04DCBE02F9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651950$7DF3257C-A6D5-424E-AF60-1B8AA759FD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651950$09E7CEA3-6470-40C2-A80F-277750737656","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5fbd11e2aaad826aa2da6a0746b8566cf63fc6d","datavalue":{"value":"7957013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651950$E1F66F0D-A43A-4F63-A7A7-0C83E69479B0","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":"Q6651950$6DE4BFD9-E4D2-419A-9FE5-C9B9B135842B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f423429692420ed1ab667555f92de6a6d7904530","datavalue":{"value":"Q130826305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651950$41AEC3FC-5412-4227-8924-977D009D6135","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"243be93ffb3438e95b7b1ec0444710010a8f174c","datavalue":{"value":"10.1109/LICS52264.2021.9470579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651950$5DD462E4-3FE8-46EA-87E5-40382FD90C61","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fd8fa845b38dd909099ee3e571d9176b2c381f1","datavalue":{"value":{"entity-type":"item","numeric-id":5884933,"id":"Q5884933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff15429de39c552f34d39cbd966d972f370c7dce","datavalue":{"value":{"amount":"+0.7855768799781799","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":"Q6651950$F3EB8E34-70F4-4C1A-A7DE-638EEAA11AB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa68709690b3ab21367cba9a41a29d5984c19f88","datavalue":{"value":{"entity-type":"item","numeric-id":1799109,"id":"Q1799109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca464bdd135f660062b700c2e3204d177e2c3e2","datavalue":{"value":{"amount":"+0.7757572531700134","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":"Q6651950$93319230-6B94-4EA1-8012-2DAB20359E0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"196cd9a5b604a058c4152ddf6e66003ea009b727","datavalue":{"value":{"entity-type":"item","numeric-id":2469641,"id":"Q2469641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f51d821089f2839b6515a67de753754529829f5","datavalue":{"value":{"amount":"+0.7572696805000305","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":"Q6651950$CF8AD972-16BB-4C27-973E-0715F818FEEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c2ee3e878068ab9f18733ffd7033596c013450c","datavalue":{"value":{"entity-type":"item","numeric-id":5140333,"id":"Q5140333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bd4b3b55f93b33c4d239cba4b226c9f0f97caa1","datavalue":{"value":{"amount":"+0.7541171908378601","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":"Q6651950$07398001-5FEF-4E95-9F3B-04DBE554DAD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab583233c0a233034976f5033241d1fe9c8aaff","datavalue":{"value":{"entity-type":"item","numeric-id":2180519,"id":"Q2180519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147bc75dfca93ec15eeee1a89e16dda0d33c67e2","datavalue":{"value":{"amount":"+0.7475592494010925","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":"Q6651950$D97DF86B-54C6-4153-8AE1-7BF352F49CA6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial proofs and decomposition theorems for first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatorial_proofs_and_decomposition_theorems_for_first-order_logic"}}}}}