{"entities":{"Q5959974":{"pageid":8136776,"ns":120,"title":"Item:Q5959974","lastrevid":47767393,"modified":"2026-01-02T15:39:45Z","type":"item","id":"Q5959974","labels":{"en":{"language":"en","value":"Theory revision with queries: DNF formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1727090"}},"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":"Q5959974$1FA97C3D-E287-4835-AC3F-33A006E97523","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cedc5c40fa4a4eaa164b952f610ea15ef0ac07d7","datavalue":{"value":{"text":"Theory revision with queries: DNF formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5959974$9DAF44F9-FA3D-4FAD-9751-F1AC23233A6A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f888da60e6ca82373a8d12c421e42526a4bc44b0","datavalue":{"value":"1012.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959974$1F00BA31-699C-4C89-8106-ECF119F44570","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b9435a2fd51f047ff1ec674ba8b01c1a4ff28cf9","datavalue":{"value":"10.1023/A:1013641821190","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959974$677499DC-906F-4B33-97B4-B51308138D45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ef77633ec5c92148c35336d8aafb56593bf9a9c","datavalue":{"value":{"entity-type":"item","numeric-id":239428,"id":"Q239428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959974$280A42D5-5085-4A0D-BA7F-1586893CEA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dc56eb764d76296dd86a13ead47a595216473de","datavalue":{"value":{"entity-type":"item","numeric-id":507536,"id":"Q507536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959974$C9FCB5B2-B17D-40DF-8B23-2AA2E31AD9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c66a437d74ae466cacad614cef92f8e5d71204e6","datavalue":{"value":{"entity-type":"item","numeric-id":239429,"id":"Q239429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959974$834D72F4-6D06-42B7-914C-C1CC8820345F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2500bd7472785bf7f3577cddf9bbcc323031858b","datavalue":{"value":{"entity-type":"item","numeric-id":65106,"id":"Q65106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5959974$73C5A101-498A-4E20-9406-48E4D1A8085A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d18439a648c68971434e67c4d3438eb872bd034f","datavalue":{"value":{"time":"+2002-04-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":"Q5959974$883FFE8F-5BE0-4FA9-BE53-3496AE169264","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c189c45b466f89dd188bd061df8c45f23f05da60","datavalue":{"value":"68Q32","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959974$240DA12D-23D7-4183-A8F2-99A8B94AF0C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2ed5caf4d9e9d16c38be3cd0c15cd1148509a80","datavalue":{"value":"1727090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5959974$5DD43EBE-F3F7-4A2F-8FF1-C4F4A954BA44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a1ec2b48736f9d6d3775e23ffc9e565c088cbe","datavalue":{"value":"theory revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959974$6044972A-4B47-4549-A314-DBA1E34135DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c73096bba34009cbbea77acf31a5a89b62ccbc0","datavalue":{"value":"concept revision","type":"string"},"datatype":"string"},"type":"statement","id":"Q5959974$572490D2-A800-4FC5-B8F3-134079AC720C","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":"Q5959974$A10BDC94-7ABC-4D56-9123-77381D9BDACE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddd1a7c684bd92dbd771a48cd0b2100ef1ce5784","datavalue":{"value":{"entity-type":"item","numeric-id":814598,"id":"Q814598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16181a0b46fc9b75e16cfce58222a9714f6e3c5d","datavalue":{"value":{"amount":"+0.9204074144363404","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":"Q5959974$448B5653-4937-43AD-AA3A-EAB3082D471C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f30f69cd3b179119808ced1201a1bc87bb8377c","datavalue":{"value":{"entity-type":"item","numeric-id":3192012,"id":"Q3192012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b241f1ac27aba0f971c03731aad9cbf54215e581","datavalue":{"value":{"amount":"+0.917226016521454","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":"Q5959974$69E514C5-E350-4511-BB17-B442CCB9AF24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f3768d082cefb170a3176c9f7351042917f46e1","datavalue":{"value":{"entity-type":"item","numeric-id":5464512,"id":"Q5464512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5069f59c003ac9c1c22477e0ede8fb1c4d14f805","datavalue":{"value":{"amount":"+0.8554683923721313","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":"Q5959974$D35C3043-4C00-4531-8AEF-28315EC8AC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48fc9a42deb63ec914a38049476374b30bc196ac","datavalue":{"value":{"entity-type":"item","numeric-id":2381577,"id":"Q2381577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"153092c4cdcfefb900bfff1eec55dee8d90eef37","datavalue":{"value":{"amount":"+0.851429283618927","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":"Q5959974$AD17C5E0-3F65-4371-8B4C-19DDCCCC3E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"451de3f6e4de3c10f34514dbd246d6f3a6c58c6f","datavalue":{"value":{"entity-type":"item","numeric-id":3093325,"id":"Q3093325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d663efd1ee39b9744703df387ab7adc6f9f058","datavalue":{"value":{"amount":"+0.8503634929656982","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":"Q5959974$739451F9-867B-4DE8-9F7E-50B738E94F2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5959974","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5959974"}}}}}