{"entities":{"Q3731573":{"pageid":5761479,"ns":120,"title":"Item:Q3731573","lastrevid":50830559,"modified":"2026-01-15T08:16:18Z","type":"item","id":"Q3731573","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3963790"}},"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":"Q3731573$D74795C5-D9A2-48BB-8F2E-466441FEABAB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6c7945f4ca3cadbf5c68e06ca493941f02534642","datavalue":{"value":"0598.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731573$1576D8A4-A6DD-414D-8354-F09E5120F16F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3731573$6D54BABD-7A21-4FF9-A0A8-AE83E60AE632","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731573$FF9E3E6D-1587-4BA5-BDB5-C2DEB17EDEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731573$88E8854F-6864-4934-A9D0-8023A7F8286E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731573$53CF0412-6DFF-4642-9501-AB29AE8E47FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731573$F57DDE8D-75BF-48E0-983C-B8FFF75F1A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731573$DA08901A-0351-42E5-A8E6-E3C68BDB9CA8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8bab0d10087cf4ab8af4223c6a5d1fb8478f5e2","datavalue":{"value":"3963790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3731573$83F32F44-4854-4B2E-B089-BE202E83AE7C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731573$A9654A61-F60D-4AE0-8E71-4B270F5D0603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37857c2758ff589680ca30751905a661d51237eb","datavalue":{"value":"formal provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731573$16378E28-B27E-4CBB-AD53-1C10DB2005CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4190497bddf46192a313162694dad84ceb6d5ca","datavalue":{"value":"logics of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731573$91324A28-74F9-4127-99D6-75ABB2FFF57A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1df853c79f1a8e64d22b55293d92f5cc745abcf9","datavalue":{"value":"extensions of GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731573$7F7E2F43-0A0B-41EA-87E9-B3ED12405607","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee03685d201dda32a1f0541533956b8eb5a0afc6","datavalue":{"value":"Solovay's logic of all true laws of provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3731573$A1F167A2-6039-4210-8B10-26E473CF3E64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f5711a22c90a25acfa5e838b5972ab6cd5c8785","datavalue":{"value":{"entity-type":"item","numeric-id":1317985,"id":"Q1317985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3731573$FCE3D50E-1197-45B7-86B2-29A49E7766E6","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":"Q3731573$A67FCFEC-CF6A-4589-A813-B6BD85D0B9E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb57636b430decf664ee4c5abcf6237e4a434765","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e74db306c3dc4763d852c11df4545857edc822a8","datavalue":{"value":{"amount":"+0.8742311596870422","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":"Q3731573$A01B8091-4F26-4568-897C-57CF23DCB542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c275c9dfd5dea3602bc1ed14a968d93bfd0af38","datavalue":{"value":{"entity-type":"item","numeric-id":4263489,"id":"Q4263489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b5c0342f046643013916aa5a3617e1598a9737","datavalue":{"value":{"amount":"+0.8514413237571716","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":"Q3731573$65D7ACC7-B7CC-458A-8760-AF02143414E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c85509e83dbef71387fada9aa30eaccb06cac11","datavalue":{"value":{"entity-type":"item","numeric-id":3495340,"id":"Q3495340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80b5c0342f046643013916aa5a3617e1598a9737","datavalue":{"value":{"amount":"+0.8514413237571716","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":"Q3731573$495E3272-FB39-4188-BDF5-3E9C1CFBE881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b99192f5915e57a50e19a065d5c6b84517f27d0","datavalue":{"value":{"entity-type":"item","numeric-id":4215636,"id":"Q4215636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac762f88ac4103efb38aa1e9a4e39fab962634f","datavalue":{"value":{"amount":"+0.8455166220664978","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":"Q3731573$A08F3393-AB7E-4374-88F1-8D6E57FB5588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971086f18ce8ecf62f3bf42e55d3a0f77adca487","datavalue":{"value":{"entity-type":"item","numeric-id":5203005,"id":"Q5203005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"417fac01fe75c31f5531c615aa5a8e4ab47435a9","datavalue":{"value":{"amount":"+0.8446360230445862","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":"Q3731573$2B7D00C8-24C2-4D07-A37C-48FC2746F5EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3731573","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3731573"}}}}}