{"entities":{"Q4945233":{"pageid":6974815,"ns":120,"title":"Item:Q4945233","lastrevid":47471434,"modified":"2026-01-01T20:18:20Z","type":"item","id":"Q4945233","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1424043"}},"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":"Q4945233$01A17B0B-D011-4FC1-9DAA-91EF29742DF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23a5d30303d2d1c6668fe49392b8854b9311f88f","datavalue":{"value":"0942.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945233$4A4973F3-2601-4CD4-A828-F014C97E446E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945233$14D32A44-956F-4172-B211-9E68136134AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5c046feff833ce0e6e8bb6d52d7ce260056affd","datavalue":{"value":{"entity-type":"item","numeric-id":209482,"id":"Q209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945233$7CB4A4F3-52CB-4C6C-BDCB-660CC14F3B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4945233$F030F944-15C8-429A-9E74-7F71F217B92C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b75bb4814c2bf285f873da0d0a308eb99ddd7a4c","datavalue":{"value":{"time":"+2000-08-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":"Q4945233$8448BDA2-B621-4449-BE81-DEAFA542EFDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945233$EF7750AE-F7BD-4310-B5DB-7E23D7D6162E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945233$00907D4B-7A46-4CCC-91F3-4F92498B203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945233$7CA1A52D-49D6-49A5-8725-474981827A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945233$3E87BB0A-9195-4A81-94C3-D8E4789E2DB9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e206a140c0e3f8d7c731eedb4aa330dfc7a0b7c5","datavalue":{"value":"1424043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4945233$59D4E0ED-6DB1-413A-9C05-8D9447D9D0BD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$1FDB557E-4834-4BF9-B2A7-6821597A286C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$1F78089A-A037-40E7-B5A6-9D59C0C686E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$6E9CAD03-1475-4DF9-BC3D-CC5FA00AF2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1495861606b4b95a3b4cca83c0876d6005a5b819","datavalue":{"value":"extended modal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$E8DB7F43-F67D-4ABD-ADF1-D87DC0BDA06E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e41b32b1dd67d2741b2fc7b40ad060e65adf4ef9","datavalue":{"value":"labeled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$25694B55-985A-4DB1-A07E-45373F2B2B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"77316cafbf798ae736c7dd9eb52c12d55059f0f0","datavalue":{"value":"description logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$39767298-2006-44FD-A8F7-B97D3617E2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$97778D07-1FEB-47BE-9780-B1AAB5BB080D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9868e6503af57d6a626d7e26601b9c8571c943bc","datavalue":{"value":"hybrid language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$4FB516B6-D6BE-4F2C-B872-5EED68BC6996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902bb96bd7b013d323eaf0bd22f175083ba1743e","datavalue":{"value":"tense logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$B759B98D-CA52-420A-8B2E-2571306213AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc1e0c570b2db51740ceed0ddd3434f82608469","datavalue":{"value":"nominals","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$033E8D42-9499-42B6-AE8F-C6AC62AD8524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb700dd1ca996a57ac301a0518cdd9b2f470ccfb","datavalue":{"value":"expressivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$0E697C19-866D-4070-BB75-425EBBA69C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4945233$DD57AA71-3665-45C5-A977-4BE3F4B6D9F7","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":"Q4945233$1C99543E-A582-4AFB-B64C-E210DE4CB83F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9339ca1c225a0c60694be0847c31aae2d6a3d2d2","datavalue":{"value":{"entity-type":"item","numeric-id":4511543,"id":"Q4511543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b84bf34c6b4f40f9abca74950b82e92177557e","datavalue":{"value":{"amount":"+0.86714768409729","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":"Q4945233$FDFB4092-2625-4587-8AF3-626452112E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55cbf21ca5940dcd4e12af4280665dab6786d71f","datavalue":{"value":{"entity-type":"item","numeric-id":3452675,"id":"Q3452675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b84bf34c6b4f40f9abca74950b82e92177557e","datavalue":{"value":{"amount":"+0.86714768409729","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":"Q4945233$03305CA2-1E50-44FC-B1B7-ED4AF4226AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e666c699d6edee48e57bafe1440684ed632d35df","datavalue":{"value":{"entity-type":"item","numeric-id":5394587,"id":"Q5394587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8947f4ab578cc083a427cd0b27e89ab7471f5aa3","datavalue":{"value":{"amount":"+0.8617621064186096","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":"Q4945233$E42C1BF0-DFB2-4283-85CC-1F3BDF626472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d95440c341fb77ab2aa56ce020095e12e251a062","datavalue":{"value":{"entity-type":"item","numeric-id":4809053,"id":"Q4809053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6829ed1068b6c6dfc54cb394641e2f689e401b76","datavalue":{"value":{"amount":"+0.8607077598571777","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":"Q4945233$9C503175-68B6-40FA-8DD6-49BDEB44AFFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc7f148083dc0e866350a7ed54f84eabf920ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4215593,"id":"Q4215593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29a0141c44dde95b568c002e5b7c4d01a206ea65","datavalue":{"value":{"amount":"+0.8231490254402161","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":"Q4945233$78413C48-C7FC-406D-A1E4-C705034ACBB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4945233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4945233"}}}}}