{"entities":{"Q4250043":{"pageid":6279644,"ns":120,"title":"Item:Q4250043","lastrevid":46831017,"modified":"2025-12-25T16:36:54Z","type":"item","id":"Q4250043","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303434"}},"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":"Q4250043$B6D0C378-3588-47DB-8C7D-BF5B2BA6A528","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7442a8b2dc6a83725b646e08dc6bc1de73295c0d","datavalue":{"value":"0922.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250043$7F7BF7D2-6060-4FB3-AD67-482364ADA450","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250043$41288C2C-F8C3-414B-BBE2-22EB994BB6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250043$FEBFDD50-8983-436A-ABF3-93C4809DCB2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f8142980aff8c06a5ea2bbe920489e5f57f93ecb","datavalue":{"value":{"time":"+1999-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250043$44E92037-BD08-4875-9973-7836C05714D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250043$7A3D6671-4CF9-490B-AFC9-872A0EA50F15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0f79598eac6c4260d96e891968b1d844cc3ac31","datavalue":{"value":"1303434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250043$86B5B9F4-AB89-4F53-857B-819FA2D0C3D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce056adbde4d031fec78cec0dcdb8dd910ee4aa","datavalue":{"value":"propositional intuitionistic modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250043$7740E173-FA69-4A4D-906F-8B246E040835","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc4ed4d14b14ee0927a71f2185cb04a52af3c4c3","datavalue":{"value":"G\u00f6del-Tarski translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250043$382A258F-F26F-4285-A9B0-C771FE270E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250043$C4F3E93C-5E4E-48A2-A1BB-4F77711D7AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810500790c3bf4aae7a430c18a31e7af9ae3ecad","datavalue":{"value":"Kripke completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250043$9402973D-7C88-4243-B6BA-A2558228DCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250043$E417ACFB-FA4B-4580-A4C5-BBE9307A4E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97ff4fd80c9395ddbb4f96cc98ff5ca569d2226c","datavalue":{"value":"tabularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250043$7C7EBAE3-FFFF-46CB-B020-9FD46ED956EF","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":"Q4250043$E2888A40-A6F1-4D9D-AB3D-A91EEB44F505","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c99382cdef8ed2f484d29437f7ae5bea8b082b78","datavalue":{"value":{"entity-type":"item","numeric-id":4948690,"id":"Q4948690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39772f797090024912b579e35bbe973ac6525c36","datavalue":{"value":{"amount":"+0.8769324421882629","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":"Q4250043$DACC6A68-086F-44B4-964B-E5369E0C7208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd49034f418630eb2080eb498816a62cd138565","datavalue":{"value":{"entity-type":"item","numeric-id":3333006,"id":"Q3333006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd934847f425b960e1f4878333a167136278b988","datavalue":{"value":{"amount":"+0.8239418268203735","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":"Q4250043$F73F749D-414A-4954-970F-356A205F25AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"633677960f81cfeb98883ace8278d6effc1c10ba","datavalue":{"value":{"amount":"+0.8193203806877136","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":"Q4250043$A0F96ECD-BFE2-4FDC-9821-D89924714D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce14981e2f375995f4633327150ba1e44a38264","datavalue":{"value":{"entity-type":"item","numeric-id":3754596,"id":"Q3754596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"745dd45c6a26e1e110914753f80272b2474a7ece","datavalue":{"value":{"amount":"+0.8157616853713989","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":"Q4250043$078A84A0-4E25-422A-AD00-66F1653FF08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6bdfb6d3006b453474ea06a77e968873feb9dc","datavalue":{"value":{"entity-type":"item","numeric-id":5014057,"id":"Q5014057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4a979c8e8026ed159e20690899e3da80514425","datavalue":{"value":{"amount":"+0.8121026158332825","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":"Q4250043$3F585C23-7858-4338-9EB9-D6E1D642C567","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250043"}}}}}