{"entities":{"Q4396604":{"pageid":6426203,"ns":120,"title":"Item:Q4396604","lastrevid":46932588,"modified":"2025-12-25T21:24:14Z","type":"item","id":"Q4396604","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1166301"}},"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":"Q4396604$2C55A60D-4784-489F-A5D4-4176A3D3B669","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f629fe6042fb607826ab8ec60f8bbbeba1cffda","datavalue":{"value":"0897.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4396604$09D6D643-C06E-40AC-BEB4-C7867B0B16A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aceff7a202eb3823ead8919880c8b0ec06ed1e0","datavalue":{"value":{"entity-type":"item","numeric-id":922521,"id":"Q922521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4396604$9DC2B307-8230-4679-80DD-8A7FDFD18487","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3914e9a92ef59555235564388ebe8bd6e9ec4bb2","datavalue":{"value":{"time":"+1998-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4396604$994AB0B7-89A2-45D5-9E0A-45D8559B0994","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4396604$EA2F9206-38D0-460D-A678-B8AC454E7BBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a64c50f8f11f71891e6fa43274794ffa46d98d2","datavalue":{"value":"1166301","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4396604$B9F377FD-0558-4BFA-8F8A-A9F58E6D7936","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4396604$601D00F4-E9E7-48C4-9854-30769B36F45F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abd0b64c50063e4663f9c7bc51576017151d7890","datavalue":{"value":"Grzegorczyk logic Grz","type":"string"},"datatype":"string"},"type":"statement","id":"Q4396604$C0B44ACC-4EF4-4E23-8D7E-E89FE422516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b9923a55344bde25a59a5266cae7fc16067094d","datavalue":{"value":"modal proof operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4396604$3DE625BB-69F7-4315-B03B-F95C29747E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"968a777945bd09341f64ec13068b4679952e77c2","datavalue":{"value":"Kripke-style completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4396604$7DE5034E-C37E-42BD-9E8D-CF8F0BE1E15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4396604$C36E4D2B-DD4B-40B2-BF0F-237511645904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff02888b791812ddffc3fccfc663496a3736af7","datavalue":{"value":"arithmetical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4396604$63D7C9FE-FA90-4668-B693-01E1E9AA3D36","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":"Q4396604$93DFA3A7-4E99-4AD3-8528-C2F13F065590","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db244f270ef3cee52ca0891abe5c7b980e5f2766","datavalue":{"value":{"entity-type":"item","numeric-id":1326774,"id":"Q1326774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a81bb4c19fbd407a1d1ca419db4ca768e9c8247e","datavalue":{"value":{"amount":"+0.8433036804199219","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":"Q4396604$D6529E1D-1215-413E-AA45-D6C5C256921E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c521edc4d515f5c87778c3eeb7fc970dd53789","datavalue":{"value":{"entity-type":"item","numeric-id":4282592,"id":"Q4282592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2994014d922652b03052ff902d75fc0e870fe559","datavalue":{"value":{"amount":"+0.8418981432914734","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":"Q4396604$1F1669FB-C840-444D-B7F2-DFC85263A8BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bade1c4d4b8c83dc9273b03a9c5e330219392210","datavalue":{"value":{"entity-type":"item","numeric-id":5957921,"id":"Q5957921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b4f2d7e8f6a6c3ee65bc7f37eb0e0db5d51bc9d","datavalue":{"value":{"amount":"+0.8352684378623962","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":"Q4396604$40C965C2-CE3F-4835-A6A2-1B7365FE20BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e8d32a7aae4e1fd923ad6cb3ef74c0244fefd1","datavalue":{"value":{"entity-type":"item","numeric-id":4896502,"id":"Q4896502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"776bd8bf0a6e9e9bc409b2b65bac6cb38a86f666","datavalue":{"value":{"amount":"+0.8265482187271118","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":"Q4396604$35A025F2-ADEB-4706-A5BE-4BD59A9AE049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d24ebf1716bf7802642c27c6d13e07f422bdde1","datavalue":{"value":{"entity-type":"item","numeric-id":920987,"id":"Q920987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5188f2498318c4e8e7d0862a0af6890a7bcc8145","datavalue":{"value":{"amount":"+0.8081355094909668","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":"Q4396604$8FF8CBDF-968E-4568-A079-FEA7220CE4D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4396604","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4396604"}}}}}