{"entities":{"Q4761712":{"pageid":6791292,"ns":120,"title":"Item:Q4761712","lastrevid":47576572,"modified":"2026-01-02T03:13:08Z","type":"item","id":"Q4761712","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1567881"}},"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":"Q4761712$0DB3F568-283D-4BCB-AE75-03CD76E9B5D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d64be48a4e34d85fc0153e133d2546fb0c4d6ccc","datavalue":{"value":"0982.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4761712$D443CD01-59A9-4F01-97FB-8C12D0DE8708","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"625d6d6d6ad27e31805f3d6ba979620d1a9d73f1","datavalue":{"value":{"time":"+2001-02-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4761712$EEA58E7B-5261-43CC-A08D-AB1B4B3E6A85","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4241110c1c98cba2a713a03fe65772fd9edb2241","datavalue":{"value":"http://mech.math.msu.su/~fpm/eng/99/993/99319h.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4761712$06889171-98FE-4F1A-859E-9EF51C9B2980","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4761712$BCA5E2E8-A641-433C-A74E-6CEA71EB0B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4761712$70A674BF-1769-42BF-A4E8-2E1D5D14BB03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc432e78e1e0de1e9826c5457959ac6fcce2ca90","datavalue":{"value":"1567881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4761712$362586E5-02CF-447E-AD92-0F7F48BCA4C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab3d9b77e6dfe81ae30e4ab2d10361011b66beb2","datavalue":{"value":"new intuitionistic propositional constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q4761712$AE54C518-8A1E-4351-AAC3-E283F91DB253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9573b52482091f1cc6766ed0ec746ccd72ad151","datavalue":{"value":"Novikov completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4761712$0B9116D6-DEE3-417C-899B-90CFA4C66625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q4761712$F3BFD266-9AEF-4E3D-AABF-0851E6079C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4761712$8E720B36-5708-4581-BA47-07EC0AF43B5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4761712$01E88E7B-B506-4F88-9709-1F7864F55572","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":"Q4761712$1A7431D6-C205-4552-BD25-06DD6E8878EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90d47ccb2e43b8d787425433bb81605fcb4a8490","datavalue":{"value":{"entity-type":"item","numeric-id":1970642,"id":"Q1970642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9627b808864699c9aed7a25b2f8a1853992bf48a","datavalue":{"value":{"amount":"+0.8391775488853455","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":"Q4761712$0E63F47B-D40D-47F9-8A19-1AB9D73E8A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b948cdcc9e3e951a002436c159e6ef798b5b7b30","datavalue":{"value":{"entity-type":"item","numeric-id":695769,"id":"Q695769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82baa2d25e0f1408d6e3f39f5882db8006fbc5b2","datavalue":{"value":{"amount":"+0.8153501749038696","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":"Q4761712$6498B058-021C-4534-816C-81B057093618","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc5b1b96f957566f39de7740b8a40aca1a405c0","datavalue":{"value":{"entity-type":"item","numeric-id":1280312,"id":"Q1280312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cf19a89ae60797ba6c5f492a7dfef20143c2af5","datavalue":{"value":{"amount":"+0.81089186668396","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":"Q4761712$0575486C-A494-496E-BF99-50FDD03936FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffa937e41c6595b94931e23b854db2c776da052","datavalue":{"value":{"entity-type":"item","numeric-id":2440003,"id":"Q2440003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395e98ef40b26def813b3c88a8d084aca1268b2f","datavalue":{"value":{"amount":"+0.7966710925102234","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":"Q4761712$6A00480F-B31B-4EC2-9C59-6B2D8CB3CE8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eaa68a38b10acf819b3ca115082c88080f4d682","datavalue":{"value":{"entity-type":"item","numeric-id":4221296,"id":"Q4221296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db6423826581260e97ab9403c07ef23c54a7baa","datavalue":{"value":{"amount":"+0.796018660068512","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":"Q4761712$0AC80C4E-4DC2-466C-BFCF-93897AC686D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4761712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4761712"}}}}}