{"entities":{"Q4385438":{"pageid":6415037,"ns":120,"title":"Item:Q4385438","lastrevid":46525233,"modified":"2025-12-24T23:30:26Z","type":"item","id":"Q4385438","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1140673"}},"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":"Q4385438$022E2C00-CC2D-428F-8CA5-C5E05665BDAD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09d0c65cb5e9ffe868c50849e4ef5cb017f15236","datavalue":{"value":"0896.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385438$AF74620C-DDFA-4E4E-B820-66A983C483C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385438$455968C8-A4C7-488C-9B21-6B912CCD5E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385438$AE17460D-CE12-4986-8973-FB9514A421F0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72a1a598913095dde79e21dbf23a519334c405da","datavalue":{"value":{"time":"+1998-04-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":"Q4385438$BD9B676A-6CC3-454E-9654-4BDD5F584C9D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385438$1B8794B8-4262-4A86-B510-B95EA913A01B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96601a0283355f7b402f7d0a946acbae82044123","datavalue":{"value":"1140673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385438$3B53AFD6-2065-478C-9369-59B8CF0DC3D2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5be9b1656f4cb1890f743f99de7eba7a563dc33c","datavalue":{"value":"combining logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385438$3C3AF464-965F-45DC-A0E2-6323D9A93B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385438$38887A24-4D90-43E7-AA52-B82CF9BC7A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5474236e41d3d8842b9646d4c16a192cc6a89c8d","datavalue":{"value":"Heyting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385438$60BE1E57-1C29-4FC9-B7BD-4AA58DC0E796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0179c11b620ab3d836a73c4e6e82bf8a434c8240","datavalue":{"value":"possible worlds semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385438$38FA6482-62BA-4514-AFEE-EBEC1D19FF65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385438$7E2DCA2A-CAFD-46D4-9A09-662C6573FD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385438$BE121B59-5FE4-4346-BCD1-86816025BC7E","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":"Q4385438$E77D9F24-DCF2-4D37-B81E-5DD1ED01F079","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"778ffcec5bb172f72e1b97df25978902234d96d8","datavalue":{"value":{"entity-type":"item","numeric-id":3525005,"id":"Q3525005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccfbe38e342cf69286e9440c6e7b45f4666cfd7","datavalue":{"value":{"amount":"+0.8835398554801941","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":"Q4385438$E9923513-D979-4984-B4AF-65C53F81E8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63e453191b1170e9ae5678235db1396c4ae90cf0","datavalue":{"value":{"entity-type":"item","numeric-id":690929,"id":"Q690929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f41939b70f287dff0a180a99c43ecaf3c19597e","datavalue":{"value":{"amount":"+0.8391071557998657","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":"Q4385438$61A7D4EF-1B8B-4783-AB74-3D0B4AA2DB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbda38b3b8a7930ccf50d9d76e4d6532f3f7ee4","datavalue":{"value":{"entity-type":"item","numeric-id":3224048,"id":"Q3224048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccec8b0059058eb317b5129f904b505d789d8906","datavalue":{"value":{"amount":"+0.7860739827156067","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":"Q4385438$8BAF1300-B943-4757-9773-C546C0847A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bc0a95ba741ccdaa1aca4a9a2350e1491c56df","datavalue":{"value":{"entity-type":"item","numeric-id":4518866,"id":"Q4518866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08a09f6acb11341b7efb57744386864c39cb6039","datavalue":{"value":{"amount":"+0.783696174621582","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":"Q4385438$38174623-FCF6-4433-B966-EE607BCDF07C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4385438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4385438"}}}}}