{"entities":{"Q4841298":{"pageid":6870878,"ns":120,"title":"Item:Q4841298","lastrevid":47338153,"modified":"2026-01-01T10:28:25Z","type":"item","id":"Q4841298","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 782041"}},"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":"Q4841298$2E290460-DE6C-4DB9-9F6C-3B341A170EBD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"91e8082d77e1f52e2bbc7c367acd6e91141ea205","datavalue":{"value":"0827.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4841298$0F535233-2DE3-4513-9419-6C40F099C924","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2c5a0478135439b51e1336eb30896ff68f823dd","datavalue":{"value":{"time":"+1995-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4841298$BE9585CF-BAC8-4D98-8651-C052755EFA91","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4841298$81823CB7-4B21-4880-A795-D8BD4A6E2227","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7b1b20b4f46a62e0979490d222ab9d2e4bfc6ff","datavalue":{"value":"782041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4841298$08EE6DDA-1FE9-46F4-9021-996CC480D250","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad3281e2e72a4c8edba865ff999957eb22836d72","datavalue":{"value":"deductive principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4841298$91212510-44BD-4342-8DF1-F8C1BFEF41BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e743020f0b18df52669b567d9bde7b03ac142e18","datavalue":{"value":"saturation principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4841298$64DBFF69-C2E8-4DDE-A076-531BA434A461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4841298$DFE9B300-87E7-40EB-8A09-478239B40E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2385bf5cc575bcb5507e8587180ff2befc5f2257","datavalue":{"value":"sequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q4841298$AA9C18A5-32CE-4DDC-BE74-F0C683A49765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7325da5409e26482c9f715df71b7d5f480ba83e","datavalue":{"value":"saturated calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4841298$02276325-73E4-418D-B13A-A0A694918C43","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e7860b5f5f8e3f51d43313692926606ec1d28de","datavalue":{"value":{"entity-type":"item","numeric-id":1344879,"id":"Q1344879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4841298$085B8BC4-6C1C-49E1-8874-BF14DB0E9C77","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":"Q4841298$A1829457-BF90-4887-B2BA-A6373160B145","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691e232d64737453bcda8feccf686c56e7a87f1a","datavalue":{"value":{"entity-type":"item","numeric-id":4282615,"id":"Q4282615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db9e11b6c07b6c58986ce92183a51ee2f843c805","datavalue":{"value":{"amount":"+0.9180432558059692","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":"Q4841298$542566EE-3224-4165-A33E-876201BC671B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c02ae77b41cf91ebd59f6eb7df9fcbe265f49e2","datavalue":{"value":{"entity-type":"item","numeric-id":1873230,"id":"Q1873230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dca6fda7200e7e71a222e0c6e843a891711d55a","datavalue":{"value":{"amount":"+0.916884422302246","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":"Q4841298$32B817DB-68CD-4D87-A5E8-63825FF2B37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a65801f50c4b24a157224086a51dec2c4e40da3b","datavalue":{"value":{"entity-type":"item","numeric-id":1807462,"id":"Q1807462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca93807919f31a869d891726612aff18faa3826f","datavalue":{"value":{"amount":"+0.8826297521591187","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":"Q4841298$D09CDF1E-30B0-4AD5-BF20-14D905039373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93744c7e609bc50f3301d061e107d32a79b98274","datavalue":{"value":{"entity-type":"item","numeric-id":4236063,"id":"Q4236063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2674ad37310a2e4293b788a17883994512d8bf06","datavalue":{"value":{"amount":"+0.8802136778831482","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":"Q4841298$F6C25A26-01AE-4673-AE77-32506E7A95E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68af4320343aac2dfb29f7227ce72ee43aac3c0d","datavalue":{"value":{"entity-type":"item","numeric-id":4375816,"id":"Q4375816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"103a4aabce355bba68ac95db6192e348f4ef3240","datavalue":{"value":{"amount":"+0.8797111511230469","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":"Q4841298$AC2B6CF9-1F59-4577-8AAF-875D6516FAA0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4841298","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4841298"}}}}}