{"entities":{"Q1357376":{"pageid":1368115,"ns":120,"title":"Item:Q1357376","lastrevid":67225830,"modified":"2026-04-12T16:12:05Z","type":"item","id":"Q1357376","labels":{"en":{"language":"en","value":"Consequence operations based on hypergraph satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1019353"}},"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":"Q1357376$1E219504-F39E-4D4E-9C8D-849FD6B8EF72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1781a1c24ef3598a38dc15da1d908503720dc8cc","datavalue":{"value":{"text":"Consequence operations based on hypergraph satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1357376$EC2EAD0E-602C-469B-8BBF-8177A9B6D396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eda43cf607a9b7f783f90fb794afdc24fbd79a45","datavalue":{"value":"0871.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357376$BAEA4534-F928-4B1D-B788-3B4FA8A2ACCB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3602054bfddc5693122d8c8f67a0e253c92d32f6","datavalue":{"value":"10.1023/A:1004923723916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357376$FF7B7BB3-6CA9-4883-8997-5EBF302A7DBB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc6ca0116ea8f3a7e5d63d2b7a681797563ad56c","datavalue":{"value":{"entity-type":"item","numeric-id":993492,"id":"Q993492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357376$F91B72CF-16A5-4C30-9E3E-84C95D960B17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1357376$A3573D75-F6CE-4EFD-8ACD-0F39A5D4B7D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b1d2746d4f839f0daa579d7f150f393eee935b","datavalue":{"value":{"time":"+1997-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1357376$BF0010F4-58C9-4609-BAC4-C49CE3994BC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357376$8CF77D54-CC09-477B-88B1-9DAA7B05EEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09872c507729d29e1c1613e820db567c4517089","datavalue":{"value":"05C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357376$E6D5C0C7-B56C-4252-8F62-A3107FD5D2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357376$8411125B-6836-4F26-B67F-39E884379C29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357376$A274E4DE-E907-4F59-BB44-A08D5DA7AEB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ffa5333a6c5d8347807bbcaa762e784f6afd224","datavalue":{"value":"1019353","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357376$34C1B9F3-56B0-4FBF-A539-2A6FA2DD7109","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cec186bb3c684a6974081639497c11783a9fa53","datavalue":{"value":"clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357376$A2403295-8914-4BBD-8FDE-AB654AC095C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357376$A8AE70F4-504E-4288-AC99-9C79FA43A914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357376$5DC323E4-6923-4F39-BB3B-F02B56580101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67092c47867106d09c4cf34434c78997561075ae","datavalue":{"value":"classical propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357376$4CA37FF6-A3A8-42D5-9DFD-D190317CB172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f515edcbce20c6d04416ddc6b94e729d386d210","datavalue":{"value":"compactness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357376$53021998-D07E-40E6-83E5-0828362A56C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64ab14326229216a0ef0e064a6d8eea983126db2","datavalue":{"value":"consequence operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357376$AF05C580-2383-4317-B9BA-A76279542123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99f24eb637eafc9d7a553c2ca319c0e84d577dbe","datavalue":{"value":"hypergraph satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1357376$6A014625-FEB2-4A09-85BA-3FFBCD756DF6","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":"Q1357376$6E9A31F8-281A-4DE1-A855-4B67D5B293DC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da397d0415fc1aeb87e0369b17523f79f17cad52","datavalue":{"value":"https://doi.org/10.1023/a:1004923723916","type":"string"},"datatype":"url"},"type":"statement","id":"Q1357376$9D7E7B29-FE97-4533-9C65-2849BE342C07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"48a9c30b0c682b9d2403d7bf7fe591a0db30b7e4","datavalue":{"value":"W1531117202","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1357376$7100C799-43D9-4B80-85E0-CB669C69E565","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f861f4558c48b906a6e52596d355b2e51b454283","datavalue":{"value":{"entity-type":"item","numeric-id":4282610,"id":"Q4282610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a50625030d3b60ec71141f6b60cfcdfe52ad2b","datavalue":{"value":{"amount":"+0.8105802536010742","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":"Q1357376$40EB5B2D-7E62-4935-BA82-9CC3C16C05BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b981f354689fb74fa20ab948881d506ff1cc13f","datavalue":{"value":{"entity-type":"item","numeric-id":4025013,"id":"Q4025013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afbe329c9aa63da68b25de739a37d627f21b7289","datavalue":{"value":{"amount":"+0.7827838659286499","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":"Q1357376$B068B77E-A8CA-4B29-84CE-B2ED67C871AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ccabe67d3729b5bcdc211fb52508e565c8db13b","datavalue":{"value":{"entity-type":"item","numeric-id":4039141,"id":"Q4039141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01257db15cf7aaca868abe4c2410ceb70e74bae4","datavalue":{"value":{"amount":"+0.7647733688354492","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":"Q1357376$9FC478CE-F1C9-49F2-96A7-658A221127D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7d1a987e762a6e1474ac4d8de9613095a83a102","datavalue":{"value":{"entity-type":"item","numeric-id":4345011,"id":"Q4345011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e665e4f899a9c0a411b60325bc795bd0482212dd","datavalue":{"value":{"amount":"+0.762575626373291","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":"Q1357376$2CB70F68-CA76-4F46-9A0A-837E6E03B730","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consequence operations based on hypergraph satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consequence_operations_based_on_hypergraph_satisfiability"}}}}}