{"entities":{"Q4246976":{"pageid":6276577,"ns":120,"title":"Item:Q4246976","lastrevid":41778671,"modified":"2025-05-08T05:26:04Z","type":"item","id":"Q4246976","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301761"}},"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":"Q4246976$C44C3271-68AB-4091-9EFE-316BDB0EEDEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7da38440d25dbf085a5f905845ffd2aa9987395a","datavalue":{"value":"0927.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246976$E0293AF0-2577-4FB0-AB89-5CD30464C55C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fffb11e3413fa5cc969a61a424e2554954849dc7","datavalue":{"value":{"entity-type":"item","numeric-id":236752,"id":"Q236752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246976$103CE406-6C8A-4479-975B-7BD453DEBC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246976$881B6DD1-9B23-4069-9D38-70C3A8E6DF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"043b77db0c51d3789f284af5f275c7a673442b59","datavalue":{"value":{"entity-type":"item","numeric-id":587084,"id":"Q587084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246976$D1BDBF42-08DC-423B-B0D7-4400861E55B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"02000238ef6e862a5c8de82bbe4b4eb0ee0b8beb","datavalue":{"value":{"time":"+1999-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246976$42980535-50C5-46A6-AD4D-258DDD9C5332","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246976$C795579C-CA5E-4D6C-BB80-E09A624DD2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246976$5C7EE34B-9D34-4279-BA44-70A260A892BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246976$1C0D571D-6A35-4270-B65B-D0B1265D8563","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ebbd737ea0fa92c841bebc5bdb94250687fa4bc","datavalue":{"value":"1301761","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246976$91E494BC-CC99-49CA-AAC7-E9BA542DFAF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246976$2767820B-776E-4E5C-863F-64313E7C4232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d80476b6b9e529be9f9df65f045c58bf0e4b2bf6","datavalue":{"value":"future fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246976$7244F30F-5B2D-4163-9F3D-8FFD44EF4676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afdf54c693345701ad4c2af689b1158b3c1893d6","datavalue":{"value":"temporal propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246976$73709BB0-8FCD-4696-B878-34DFEBC0CB7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eff6750d2b6c201bc8d72544e469de3ddbdac4ab","datavalue":{"value":"linear discrete time","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246976$AF224805-17AE-48E4-AA5E-9B3C5DF9BA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0c9a8be77ee96d04984c92a54b21e416f6c5d81","datavalue":{"value":"FNext","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246976$18C8DEDB-1200-4F46-B94D-117E23763892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a78b648d77b9a51552964b940d3755d3dfabb55","datavalue":{"value":"reductions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246976$BC740FF1-3A69-4824-9A59-80B84F9FC029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7b28cfbb79d1842635bb7f66596b86086af7e07","datavalue":{"value":"size of temporal propositional formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246976$6B5E01A6-7E2A-47CE-92C2-637AE011A20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b57c832f4b21b0ae9151495d8a971f39ac6c1824","datavalue":{"value":"validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246976$A09484B6-27B7-4326-B53E-A95D52804796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"588fe7046e7c4fa6cfcf5f49bf7209a89dba37f4","datavalue":{"value":"unsatisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246976$1C77E958-2A16-4B54-BB25-CF4975CAACE4","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":"Q4246976$ED553BB7-248E-446F-BD71-BF41756C0761","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9253735b839ce795f970d4a53f6d1e9baa9737b","datavalue":{"value":{"entity-type":"item","numeric-id":1978028,"id":"Q1978028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246976$3921D790-1A89-47EF-9BCC-36C551E96A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72dc4348674a6ba149a50e9089dd2e41fbd6151d","datavalue":{"value":{"entity-type":"item","numeric-id":6487562,"id":"Q6487562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2832d180b2fbd9ab764c4bbda2cbc49cc613d3cb","datavalue":{"value":{"amount":"+0.90986466","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246976$14CAC713-8711-4E02-9C34-6DB98160BA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608b9093d236f9882b3ec155317f397ae3bd9ed4","datavalue":{"value":{"entity-type":"item","numeric-id":3623967,"id":"Q3623967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50496f93b21efed5dd44b43f21d80bbebdf9dc6d","datavalue":{"value":{"amount":"+0.9058772","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246976$15BD4E27-F423-45C8-A00A-B2783CDD8872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9181dfc9a309565569ee2c395e0766dce9ff3b0c","datavalue":{"value":{"entity-type":"item","numeric-id":4475068,"id":"Q4475068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7bd36557092b85b2d4fb15733db05ab3f6b1ccb","datavalue":{"value":{"amount":"+0.90557694","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246976$6585664E-9592-42F3-A024-EEE993E96BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8860a8d5c820dcc2f8e22ada577b173b309f2394","datavalue":{"value":{"amount":"+0.9043256","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246976$C8F812B8-4B49-40EF-A356-558866D0A2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a4eede209a58d01f1f661ad4dc08965f78cba5","datavalue":{"value":{"entity-type":"item","numeric-id":4733376,"id":"Q4733376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3690e86cbeea4bf0c4491f4a637cc8f92299a886","datavalue":{"value":{"amount":"+0.90398383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246976$4D484B91-BAE6-4041-8E8B-DDB5D4E73268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"858938adccb06e8a1a082d0166d431aaf11e002b","datavalue":{"value":{"amount":"+0.89886415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246976$663C48E1-9E3E-4586-ACA1-0CDFA01DF29A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcdc152fc48b3fb14e9aa7237a5ab54d77803e9","datavalue":{"value":{"entity-type":"item","numeric-id":4484477,"id":"Q4484477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"963aaadb0298d4fd8901bd7a856fab5c0d9fc559","datavalue":{"value":{"amount":"+0.89612126","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246976$C4601F23-D3F2-4724-AB1B-42A6C60BE0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8733589915cf3613d4343f619d15577a70fa4040","datavalue":{"value":{"amount":"+0.8930733","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246976$F15F4CEF-3C51-4CAD-A290-78234AB99920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9b0381463c53bb66c44f66246b8460a24fa8439","datavalue":{"value":{"entity-type":"item","numeric-id":5411415,"id":"Q5411415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"347d87d10b9f69907ea5a2fb51578e86088166cf","datavalue":{"value":{"amount":"+0.8924927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246976$D4049982-0488-4ADA-BD93-1F5CD46DD093","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246976"}}}}}