{"entities":{"Q3113699":{"pageid":3124415,"ns":120,"title":"Item:Q3113699","lastrevid":80193221,"modified":"2026-05-06T15:38:20Z","type":"item","id":"Q3113699","labels":{"en":{"language":"en","value":"Unary negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5999559"}},"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":"Q3113699$4DB0DCC4-4D3A-4A5F-9199-A99C79D65945","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55793864a8b406d9a64fa567db8804389401284b","datavalue":{"value":"1230.03068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113699$2660E3CE-6A35-487F-B218-B8C0E5237BF1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a531f2e925d43508482b1d4b7ad4f917bc51fb11","datavalue":{"value":{"entity-type":"item","numeric-id":269314,"id":"Q269314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113699$6B94F6C5-9ED9-41B7-B76D-79910A634D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf03d46d6c13b138c98e3cc17440d2819249349e","datavalue":{"value":{"entity-type":"item","numeric-id":845666,"id":"Q845666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3113699$682056D3-24C1-4D9C-9B92-D61991988100","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4822a023b88216698bd27975d0e83ceb8910f93d","datavalue":{"value":{"time":"+2012-01-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":"Q3113699$CF9C4676-10DD-440F-998A-F5AFD27FA9AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"424dd27b69abfc510beaefef6b6c3c5125d81a46","datavalue":{"value":"https://arxiv.org/abs/1309.2069","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113699$508B2892-0673-46AC-8E33-B3E2B91DE33D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cc5de9ebc11509128ef076e36bc1943de934afc","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_84d4.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q3113699$EBCBD80C-2942-4EA0-B96A-05CB33C4FA0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113699$1DE66934-B729-4CF8-BE23-D61AFD13B51A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113699$6074497C-EFB3-44F1-99E3-607D9192D5D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113699$7262440F-07D2-4246-B7C6-E48B70515F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113699$9A6B70D0-42E5-4ED6-914E-5FFAB7F9310C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c5c57a23d956fe5ff537e924fed4f0d054b484a9","datavalue":{"value":"5999559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113699$E6A1E773-1A6A-4A2A-9645-A1F446AFC2F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113699$59E596B8-1E97-4921-8EDA-CCD85EA6CAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40953c2325db86cbab905851b0cf565a13fce3d0","datavalue":{"value":"fixed point logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113699$790DF443-6510-45B0-8CB9-4161D547F95A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"599a130e606d557eaea9e50bda5ab801d8001c93","datavalue":{"value":"unary negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113699$68DA4467-3FB7-4572-A97F-41DC14827ADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"165c1b0e5f579996790113a62a7f1f14329b9005","datavalue":{"value":"conjunctive queries","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113699$C0DAF196-6F0E-41AE-9032-FD712DF4533D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a244d39c204fc9e77780a56fdc24bf8350121265","datavalue":{"value":"monadic Datalog","type":"string"},"datatype":"string"},"type":"statement","id":"Q3113699$5DCCC38F-04A5-4ECA-A270-EF1E645ABA97","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":"Q3113699$AC3EB19B-A2B1-433C-A397-251CA3D361CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7421e2819a062609ec75c07c5d28bebf4bcf50ad","datavalue":{"value":"10.4230/LIPICS.STACS.2011.344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3113699$81585F25-3AA0-4F93-B409-CD95CB2C31B1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8689df75805f49277df352e8a6bfebf91eb622f6","datavalue":{"value":{"entity-type":"item","numeric-id":2848370,"id":"Q2848370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e358af12a85ffdb0ebbe26c2c108ec429a8df5","datavalue":{"value":{"amount":"+0.9994510412216188","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":"Q3113699$97DBDAA4-55A3-4B03-A282-8AE497DC7A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32abd73cd70793166c1e60f8b27e7946e063d142","datavalue":{"value":{"entity-type":"item","numeric-id":5145301,"id":"Q5145301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4d7cf4c6bd88a0bddff7ada242a4b360c962f5","datavalue":{"value":{"amount":"+0.8332527279853821","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":"Q3113699$70218BE7-24FF-458B-A106-DA7D57A89185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c29f1ea0d1877e5c2b9de1968e56034687845ddf","datavalue":{"value":{"entity-type":"item","numeric-id":4635819,"id":"Q4635819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b56064b32db5830c367363c25802b3545924e2","datavalue":{"value":{"amount":"+0.7806107401847839","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":"Q3113699$E3C40B08-9E4C-44BF-9108-76C86EE8480F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6cd1c0f25dd0342adf67d97d4fd01ece315ad29","datavalue":{"value":{"entity-type":"item","numeric-id":5892612,"id":"Q5892612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4813f867369e6cdb2b949aebf50ae4934101b756","datavalue":{"value":{"amount":"+0.7802534699440002","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":"Q3113699$A9C53765-DF06-495E-ABBF-300087764E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26a15eb0b947bf49662a2112338c07dfca5a15","datavalue":{"value":{"entity-type":"item","numeric-id":5890544,"id":"Q5890544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f0fac8be768556eafa4d926852528f88e98df25","datavalue":{"value":{"amount":"+0.7676329612731934","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":"Q3113699$162C7D77-3C16-41B8-8CD6-42DF0EA59269","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unary negation","badges":[]}}}}}