{"entities":{"Q2848370":{"pageid":2859090,"ns":120,"title":"Item:Q2848370","lastrevid":51833864,"modified":"2026-01-20T06:45:48Z","type":"item","id":"Q2848370","labels":{"en":{"language":"en","value":"Unary negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211844"}},"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":"Q2848370$BB6BB16A-99EF-47AC-9C42-248326DAF3AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bff86716e4d563d56d48121ab82b4d705173688c","datavalue":{"value":{"text":"Unary negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848370$A50EFF5E-1473-4BC0-B933-C7A79086F70A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edc00ef5f4ef1c54c8dd08f3dd4f4c0b97c9b93e","datavalue":{"value":"1285.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848370$37D473E4-7FF2-4A79-96E9-DE9113789A08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9cc5d8658ea5e89c5e8a0cfeadaeac1e5e10193a","datavalue":{"value":"10.2168/LMCS-9(3:25)2013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848370$70EA57F0-7FC1-447C-835F-AEA98466753E","rank":"normal"}],"P16":[{"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":"Q2848370$FBA83DAA-B96A-4604-BBF7-E44797072EA5","rank":"normal"},{"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":"Q2848370$B8FF582C-5C79-4804-BC29-3A381796867A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848370$3D0B453D-12D5-4C03-9C2A-9720E9616D98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43e878d8f753446abefa1b1ceb0637b91afae47a","datavalue":{"value":{"time":"+2013-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848370$2F8C0C86-AF6D-47CA-90BD-978349D747E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848370$59484EB5-8B0F-40DE-93C1-BA8429B12334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848370$D30BAC44-0377-4241-B2E1-C71C905F91D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848370$C6A578CE-736E-491E-9AC6-4B07EF106FA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848370$80EB5474-F478-4100-A732-57F14C8BE7F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848370$46E461EE-706A-4F35-9161-C636879F2428","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82d2d3cb144b2218cab0728f6d017482c055d0e7","datavalue":{"value":"6211844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848370$68A4B77D-B3C6-4898-8530-A0E4157EA7B9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848370$9711FFB8-D77D-4FA4-94E0-7B441B9F3FA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2baa565f2f6e404ad2d47723b10d9eb8c186122","datavalue":{"value":"fixpoint logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848370$CF251500-FC28-45EA-8067-A7BE5EE8AFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5033d3ae012d6c81208806815167a477d503a7c9","datavalue":{"value":"decidable fragments","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848370$21811161-A92B-4740-B545-6A8A02A66A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848370$3ABF30AE-A3A9-4F81-A231-A6B23794695C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848370$E69CA49D-F8D1-4A18-A9F5-402D74B56C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2848370$5AD602FE-6EF8-46CF-BBAF-04672DFF5761","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb1fca4ee5c1238a4c8891e4fb1e1d7c9da30b5e","datavalue":{"value":{"entity-type":"item","numeric-id":27652,"id":"Q27652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848370$D8F33FCA-BA26-4212-AB0D-6E840925C8AA","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":"Q2848370$97CE6116-B297-426B-933E-408522DF1DBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"244a0963b883e9eef4e4cbf91a9e377f764c96b3","datavalue":{"value":{"entity-type":"item","numeric-id":3113699,"id":"Q3113699"},"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":"Q2848370$B1C3AA63-6B3D-462F-AC2E-DAE7514801BC","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":"d74ad295eec820bfee88233e2f571d47febb9fa1","datavalue":{"value":{"amount":"+0.832655668258667","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":"Q2848370$D51ABDFF-86F9-47FA-96A4-A48A31597960","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":"02716b569992804b23b5047afeeb4b5a6cff1885","datavalue":{"value":{"amount":"+0.7799137830734253","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":"Q2848370$5DE86646-44CC-43C3-83AE-2D7480D0B3DB","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":"d0274f1ac07d77f9a559dd787517ae8dfebe76b5","datavalue":{"value":{"amount":"+0.7785568833351135","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":"Q2848370$F4D43F94-2C15-4610-A0A6-D3867F7530CF","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":"5db8c673a557970e7453b8a2a050a511c8f06aa6","datavalue":{"value":{"amount":"+0.7672417163848877","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":"Q2848370$A7B0EBE3-B035-4005-88F6-9863BA5E5536","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2848370","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2848370"}}}}}