{"entities":{"Q4511554":{"pageid":6541147,"ns":120,"title":"Item:Q4511554","lastrevid":47522665,"modified":"2026-01-01T23:35:27Z","type":"item","id":"Q4511554","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523418"}},"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":"Q4511554$F76BF45C-5E5A-4190-BD7C-62B97306A4DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"334d4f598491fe656f2baef175e1dddb7facd6df","datavalue":{"value":"0960.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511554$3798A4B6-51FD-4548-882F-A935AB75AD11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea972f4a33447c2c75bbbeb5c29f4b73d6bbad79","datavalue":{"value":{"entity-type":"item","numeric-id":3647308,"id":"Q3647308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511554$FC37263D-CF4E-4BAA-B899-697C189042EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ee4853016f302299c33887f7431c9879f60f44f","datavalue":{"value":{"time":"+2001-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4511554$7364EDFF-C9B8-4968-A404-0CE77A932479","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511554$B9C3AA98-F43F-40A0-9F71-A30C4E0AA2B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511554$166FA60F-3055-4B28-A398-DCE57261DDEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71be4b8130d62896d403abd21dd6bce2d250e3a8","datavalue":{"value":"1523418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511554$A015A736-2D77-487A-B1BD-1FC5CF30BB6B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d88bf06aa10abc37fa3f3e42918b0e72f4f9bdb","datavalue":{"value":"approximation logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511554$BD4B4827-5536-4BF3-9783-3F7450DEFB6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511554$1A54B142-DE7D-41D9-8AB7-37DF77C71C2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511554$9BDEFB8A-AFC6-4A1C-8699-326BA568742C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511554$BF1CE6F2-BBC7-4477-9E47-FAD730B42C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511554$C523D649-1333-42DD-9595-0D846B70A063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511554$1A8A7F5D-D127-4DB2-831B-B391C8E64276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4511554$8EA9DCDF-3B79-412E-93DE-50F55C1211A2","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":"Q4511554$767BB6FB-097F-4137-B108-BDB36C791649","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eb4a4689cffe7c8257e957e58975248f126fed6","datavalue":{"value":"W2295284441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511554$38459821-B8CE-466B-A487-7A429E675BD9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a0432772defcf19a1f37fc0ef5435f886aeade9","datavalue":{"value":"10.1002/1521-3870(200008)46:3%3C417::AID-MALQ417%3E3.0.CO;2-T","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511554$F181B513-404F-4EDF-9A67-FD0B38815FDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e141b7d667adfea8753540e1c268e397543f1c89","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200008)46:3%3C417::aid-malq417%3E3.0.co;2-t","type":"string"},"datatype":"url"},"type":"statement","id":"Q4511554$FEB7356B-307B-4D53-B6F5-DF78D8BC0FC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c90196febca4792d91b16cb28d5dc11260993ec6","datavalue":{"value":{"entity-type":"item","numeric-id":4704650,"id":"Q4704650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84069e90328fa5252686cb762ded522b5a92095d","datavalue":{"value":{"amount":"+0.9056506752967834","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":"Q4511554$9EA7AA1B-A3BD-4ABA-BF74-3B250C27D13B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bc7a58b23ded68936a2c439b2aaf290aeca7bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3647309,"id":"Q3647309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcaed576d4394f6ac1a40e3ad0e43a66773ebecc","datavalue":{"value":{"amount":"+0.8712745308876038","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":"Q4511554$92C4A434-30AE-41EA-8560-705C810AD343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8815d3ef6d1760ea47394cad6336eb009b88e11","datavalue":{"value":{"entity-type":"item","numeric-id":3811753,"id":"Q3811753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8af959bcbfabd00dc07590f37eed4be4c1e3c72d","datavalue":{"value":{"amount":"+0.7506758570671082","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":"Q4511554$70B35ACB-BD53-46E8-9F18-68C530F6D8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52973565d0cbcd4dae233c0856e8def424ee06b6","datavalue":{"value":{"entity-type":"item","numeric-id":2277447,"id":"Q2277447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"563ed0ef40d61893b5147508bc05ba963c5e365c","datavalue":{"value":{"amount":"+0.738131046295166","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":"Q4511554$A4449E1D-A5B6-46D5-BFD3-7A6678040197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"538cd36670c325004d6051f821c4795888a257e7","datavalue":{"value":{"entity-type":"item","numeric-id":3976584,"id":"Q3976584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"477cea9c539357b584dad89e96635f729b217487","datavalue":{"value":{"amount":"+0.7252200841903687","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":"Q4511554$586894BE-32CC-4DE2-BA25-1CB9989FBF9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4511554","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4511554"}}}}}