{"entities":{"Q3358709":{"pageid":3369414,"ns":120,"title":"Item:Q3358709","lastrevid":49527679,"modified":"2026-01-07T12:24:42Z","type":"item","id":"Q3358709","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4210105"}},"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":"Q3358709$D666D35B-A6A2-4C1C-9B52-7B9E47A80B81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f93efcdc4c129a533a7ecef46ace311d9ea5dd7f","datavalue":{"value":"0732.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358709$5439CFC8-49B4-4EB8-821E-9E95F3192D36","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a0dff713a11abb8205d1f72e1a07b7c8a90d4b0","datavalue":{"value":{"entity-type":"item","numeric-id":2751826,"id":"Q2751826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3358709$062B7A13-56EB-4850-89C7-E2D36CE5551E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3358709$02B58589-7609-42D6-A5F0-CA00B3454D85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358709$23B981B8-3ABB-4F6B-890E-2A8022CFA029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358709$855719F3-7BB7-4300-98BC-4F433C9032C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7de24da003abf5db4466b673cf5f5f4f556ecde0","datavalue":{"value":"4210105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3358709$B3169ADA-D168-4F5A-884F-4022024462B4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358709$8B061899-72C2-4888-9450-2FABF1E642AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b2768be6e25483b71c15e747bea7312b28fccdd","datavalue":{"value":"modal systems between S4 and S5","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358709$84AE3069-0FC6-4D32-AE41-F61FD1961F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c045561107a6a516b90ca8a89e4754fcfd8a5fc","datavalue":{"value":"deductive equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358709$290F627B-7379-487F-A219-C2A5F0656425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358709$1B757523-B4D5-4195-9DC9-B416B41F6110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47e924cff71cb4bf451d6065fa2cb93dabc06bd2","datavalue":{"value":"sequential calculi with indices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3358709$325A383B-479B-4DF2-9A9A-E4CB3EC86815","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":"Q3358709$73EA789A-1D68-44E4-BD61-D59DBB59D36A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04791c8371f914c1b3e3a547781cafd38b8757da","datavalue":{"value":{"entity-type":"item","numeric-id":5187258,"id":"Q5187258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3873148ae80bb1ca4e6d0865326c343bc57fe51c","datavalue":{"value":{"amount":"+0.7824312448501587","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":"Q3358709$D56687E2-13D4-48C9-B3E9-DD6D88B9C53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8a791f7386848fdb80ce8b033cdff7f9e78e252","datavalue":{"value":{"entity-type":"item","numeric-id":4204132,"id":"Q4204132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"748297142a2911fd86b6351c3aa14334c6e18226","datavalue":{"value":{"amount":"+0.7778835296630859","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":"Q3358709$C5D76004-DC22-4ED2-8256-505E1DBA9E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b6f3dc7878e10ef9b375fde120014642c5324b","datavalue":{"value":{"amount":"+0.7648429870605469","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":"Q3358709$246E25E4-5685-4DB3-9A83-AAB80E956010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875e9fbc20ed15635f72fcedb7909150c5164fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3818299,"id":"Q3818299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3da61dd3731b5ee414410222de9028953a1d1c25","datavalue":{"value":{"amount":"+0.7643800973892212","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":"Q3358709$312623B9-5EDF-4BEC-A3A3-01B5CA8B6FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3ba3eb19c85bbb28ccb676a63e0055d2e5387ed","datavalue":{"value":{"entity-type":"item","numeric-id":4025008,"id":"Q4025008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5159c345d0d3322326785314f2ad6819b8a1b61","datavalue":{"value":{"amount":"+0.7642208933830261","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":"Q3358709$DC99E78F-69DC-4780-94A5-9D3A6347AA34","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3358709","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3358709"}}}}}