{"entities":{"Q3322079":{"pageid":3332787,"ns":120,"title":"Item:Q3322079","lastrevid":48698083,"modified":"2026-01-05T15:50:51Z","type":"item","id":"Q3322079","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3853044"}},"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":"Q3322079$C202B194-4B6B-4FD4-A333-E463C06A4F80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bb14bfec312453c614a9cc7e3abf12f80fc4bb7","datavalue":{"value":"0537.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322079$C6B9698C-22B5-4ADF-8A7E-34913F6E4524","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71be32cf45ac93ce9dd29af52f4eb8f91f084f72","datavalue":{"value":{"entity-type":"item","numeric-id":689792,"id":"Q689792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3322079$A67934F6-F301-440E-9FAD-140E644FEE14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3322079$AB420A25-F1D3-4808-8A90-F9DEB86D4A01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322079$5B92889A-9236-4085-A0E2-A1F6A9C97361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322079$C45311EA-F4F6-4E37-9B3A-39CBEEF1194C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eece93f2690e4af7689d26fa6d6d20616733d75","datavalue":{"value":"3853044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3322079$EF7E0028-A64B-4EAA-AF21-8EF1B1A95D2A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8b45a90973963dfc79a573c5b6251d70e80d828","datavalue":{"value":"Kripke models for intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322079$6E006284-BD06-4106-AACD-ABFF539C506E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3483169bf9945210868b516324780bb3f081e40e","datavalue":{"value":"logic of constant domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322079$E5DCF67E-F3DF-4CA0-B2E4-3D9D910854AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322079$82AF4F93-1C23-4ED5-8387-A6C8CFF7CC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238fd742794dc216acaf8927bacad7686033de68","datavalue":{"value":"Harrop formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322079$5E6CD07E-0238-4987-82B2-DBEA61B7C743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3322079$262F8261-18B8-42F4-AF4D-548F4E857A20","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":"Q3322079$E169946B-CF94-4FB4-8873-55BD75BC287F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16e537dee039c65e7487b6854ebadd9fe2c66265","datavalue":{"value":{"entity-type":"item","numeric-id":1115419,"id":"Q1115419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012abc1fc3b0f4316d2b5a93aabd4ec4a7a2c9c8","datavalue":{"value":{"amount":"+0.8347232341766357","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":"Q3322079$A71FE642-3B5F-4F94-9B3D-82B99CC345C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa2493c6a3b5b965f8a1597b88c0d9add574b45","datavalue":{"value":{"entity-type":"item","numeric-id":3472080,"id":"Q3472080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ecb9071a4657b18bc2d826fd31285807f30eed","datavalue":{"value":{"amount":"+0.8327352404594421","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":"Q3322079$871C8BAB-926E-43A7-BB52-8184EF2A0749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea9d35b739be79aebed0b641b132eb99ed8a12a","datavalue":{"value":{"entity-type":"item","numeric-id":4221774,"id":"Q4221774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8c5be30725a4f795e020723e325eac4ea28aa7","datavalue":{"value":{"amount":"+0.8191439509391785","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":"Q3322079$28680EF4-20B1-4AAA-9417-8310DFB5B1A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34bf78987d21b7a2317b9d94c1c19ec5680de703","datavalue":{"value":{"entity-type":"item","numeric-id":3783273,"id":"Q3783273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecf99ffc5dd5bd1c4e1dff7fc5778e90b4826e26","datavalue":{"value":{"amount":"+0.8188861012458801","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":"Q3322079$3D2F677E-ADE7-4D0F-ABB7-F8219FD27E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6c5ff9241c625dfaa8e73ceb5f8a8f39a50f3b7","datavalue":{"value":{"entity-type":"item","numeric-id":1096618,"id":"Q1096618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85c04b859979aa27cab2a6d3b5044645736a01b","datavalue":{"value":{"amount":"+0.8043094277381897","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":"Q3322079$6A648BCB-235B-4E8D-ABB3-684D830FB575","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3322079","badges":[]}}}}}