{"entities":{"Q3495352":{"pageid":5525252,"ns":120,"title":"Item:Q3495352","lastrevid":49422541,"modified":"2026-01-07T03:25:10Z","type":"item","id":"Q3495352","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4168676"}},"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":"Q3495352$543E1A0A-91CA-4E47-8840-5D6BFB670E9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0dee10ce36d18ba4c3075a3181117824d96ce42a","datavalue":{"value":"0711.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495352$FBE970ED-FBC4-44C0-84F1-9A8FD6345759","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e071145b46ae7a08fec096f0620178c42ecee586","datavalue":{"value":{"entity-type":"item","numeric-id":793005,"id":"Q793005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3495352$A356A7FD-79A4-4CAF-A501-874B2BFEE544","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":"Q3495352$242C6AA0-084C-4562-872F-1EFDD4453754","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495352$13557261-88FB-4B9B-B9C6-6AC28EF404EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495352$E407CDB8-D034-4FB1-A4CD-EE2240E7F65B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d7f75069e296daf43bfc87cfc1778d861e2b687","datavalue":{"value":"4168676","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3495352$91048F87-C5F6-4925-A480-6E2E30F8B79C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495352$C09E3A01-E9D5-4DC1-9174-EE20899388A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d141d5d22574b155952d0bba68b0d42c8aac73","datavalue":{"value":"provability-intuitionistic logic \\(I^{\\Delta }\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495352$97DA0DD5-BFC7-4721-A990-9D0C2BADFE5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85c154238b473d7124341649691186a0433c670","datavalue":{"value":"provability logic G","type":"string"},"datatype":"string"},"type":"statement","id":"Q3495352$0E32292F-C15E-4912-B162-818838CB03C3","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":"Q3495352$9B021F20-8820-418A-A0A7-C5BFD6A6FC5F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18b6d3584847cc376508c0cb4dd85cbd11170a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3731572,"id":"Q3731572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f382eec68793ef8959376faceeba4d60dd5c27","datavalue":{"value":{"amount":"+0.8810076117515564","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":"Q3495352$C1000DF6-8E6E-4724-A39B-2495A9413CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb80e8cf1de71e7ed73657d1d8ae3ed27c6fe104","datavalue":{"value":{"entity-type":"item","numeric-id":3783274,"id":"Q3783274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c27541ee1082e3025844cdf18a31c4776550e6","datavalue":{"value":{"amount":"+0.816497802734375","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":"Q3495352$43D15941-3256-4881-AB2E-F6D51FC39FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de6bf576369a8c8c8430f9f92a36b9dc29424db5","datavalue":{"value":{"entity-type":"item","numeric-id":1091383,"id":"Q1091383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1839e15931568bc64401efb38a82503de986d18e","datavalue":{"value":{"amount":"+0.809792160987854","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":"Q3495352$04204507-34B1-4281-84DC-8E99765C8091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d7e98ea691cd731ff332024b59eb4c51286d82","datavalue":{"value":{"entity-type":"item","numeric-id":922543,"id":"Q922543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aabc0fcdba29408782b82b2d4c4548ca713973e","datavalue":{"value":{"amount":"+0.8056343793869019","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":"Q3495352$3BF5B802-F7D6-4A9A-B6C1-E8AEE8BFD90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff3df00c7f165081310916438d70b857cff5d5","datavalue":{"value":{"entity-type":"item","numeric-id":3708775,"id":"Q3708775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62e3d8a36f54d0c525cf054b16333e7f7e3fd59c","datavalue":{"value":{"amount":"+0.7623830437660217","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":"Q3495352$236DBB5E-FC53-4AB2-8B66-98CF4FB7100A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3495352","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3495352"}}}}}