{"entities":{"Q5223202":{"pageid":7252772,"ns":120,"title":"Item:Q5223202","lastrevid":91622498,"modified":"2026-06-04T23:38:46Z","type":"item","id":"Q5223202","labels":{"en":{"language":"en","value":"Satisfiability calculus: an abstract formulation of semantic proof systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7081382"}},"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":"Q5223202$1760A161-6B0F-462B-AA5C-2BC0D8E21FEF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8998b3ae9b6e2d3bea9216a0eaa5c440fd3cd7bf","datavalue":{"value":{"text":"Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5223202$1DD73190-8A46-4FC1-93C3-E2D5A51AABF3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccd70289669ec99e4d14764e73d6ad9f502aa128","datavalue":{"value":"1446.03112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223202$8353595C-BBF0-49EE-99F6-215EF091371C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"105fe411507cc58d62db05e3e5b09d36b4ee7b81","datavalue":{"value":"10.3233/FI-2019-1804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223202$7A03CEFB-067E-4165-8C55-312B333BB599","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"608833034b6167327427f6a76b9b29f55c341992","datavalue":{"value":{"entity-type":"item","numeric-id":5223201,"id":"Q5223201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223202$9FCE0A6E-9DFC-4698-B16F-C70B2B69A8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223202$A90E8D10-7830-4387-B1C3-423E53650273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4e2ff6960fc1a368be50c0bbe7a73042d86b6f9","datavalue":{"value":{"entity-type":"item","numeric-id":903493,"id":"Q903493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223202$31D2E53C-D8AA-4F82-A2DA-27E452D4A627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223202$0F216D13-5FD2-4DCD-B586-A632D0CCB03B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5223202$4B09B728-C259-4CAF-B17C-661E57728FF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76f7bc0f8da2050027b9f28cd54ad13e090567ab","datavalue":{"value":{"time":"+2019-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5223202$B39C8993-C76A-4D99-9045-EE895E86DE3A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223202$107BDD80-0B9C-487E-99B9-74626759A957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223202$2434CE64-78BA-4114-A893-4F0906489460","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f0b547a00c51ec653b7dea4228addbb946e8d3e","datavalue":{"value":"7081382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223202$29F41C46-0F7D-4F49-8813-17E68C8D6640","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84cf1541877d6ec6702bb201c5539dab7766eb1c","datavalue":{"value":"institution theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223202$DFC9B4D6-D3C7-4AFB-A837-8A5045003B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5f24e4fc43a94c546ada56f3094e23f781e8a11","datavalue":{"value":"semantic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223202$0F7A6065-B405-45EF-87F8-601E107E7847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5223202$996B0751-1770-4337-957C-62A13CD6EEDA","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":"Q5223202$B4A69CFC-0CF9-42B0-8A70-2B01C788B8CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bea587baa2df8c943587b4272286182051ead2eb","datavalue":{"value":"https://doi.org/10.3233/fi-2019-1804","type":"string"},"datatype":"url"},"type":"statement","id":"Q5223202$317C3635-EBB6-46B9-B5F3-4F29C6088409","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5358440e925cc73dbb075b380c027bd8438b8862","datavalue":{"value":"W2940631072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223202$8C6BEA2C-DD4F-4E7E-AEE5-5D50C53FCA7F","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a010bb6e2b243af38f6737e787c976764d4b7031","datavalue":{"value":"Q127977858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5223202$C121B2B5-EF4C-444A-AE9E-9BA84EC0A653","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30bc8e4a44522e2de7bfc8cabed381b6efa28b5e","datavalue":{"value":{"entity-type":"item","numeric-id":2848884,"id":"Q2848884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a3e3f77fd827aca686e3cc93ddd22ebe1d9a5d4","datavalue":{"value":{"amount":"+0.9272133708000184","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":"Q5223202$DBF76433-AF88-4C56-A230-41D8614243F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bfcff830f12a4f39b92ac6fe66d8a9f7f892f9ea","datavalue":{"value":{"entity-type":"item","numeric-id":622025,"id":"Q622025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06b26f8330ea60fe61ae7115b39493944bcd1fcf","datavalue":{"value":{"amount":"+0.7437084913253784","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":"Q5223202$7FB6EA8E-0717-46DD-91C5-7D69BE721200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0d2a2320a9044182b64a06707cdc92100ce6b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536f0ff4043e8e371e0476d39c92944dde9bcd2b","datavalue":{"value":{"amount":"+0.7286952137947083","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":"Q5223202$447DE542-0AA6-49A9-9266-914742CCD3FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08cd9f12cdb61a4d84b54495b6f72e729dc6e571","datavalue":{"value":{"entity-type":"item","numeric-id":5420764,"id":"Q5420764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db936e1e63f3eb79085c2d85e2661e9eefc29d2b","datavalue":{"value":{"amount":"+0.7241399884223938","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":"Q5223202$C8A762CF-B49D-4EE0-9DF1-41DBB37A7DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a4373e554e3d66a1b27a24f511fd441ff360667","datavalue":{"value":{"entity-type":"item","numeric-id":3430948,"id":"Q3430948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b35672e0348a41a99c53919ec51adc34ba4a4b1","datavalue":{"value":{"amount":"+0.7231341004371643","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":"Q5223202$7618F674-BC5C-4277-8294-06474350EB27","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability calculus: an abstract formulation of semantic proof systems","badges":[]}}}}}