{"entities":{"Q4323033":{"pageid":6352634,"ns":120,"title":"Item:Q4323033","lastrevid":47302579,"modified":"2026-01-01T07:09:24Z","type":"item","id":"Q4323033","labels":{"en":{"language":"en","value":"On first-order theories with provability operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 722184"}},"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":"Q4323033$62F98516-C348-4398-BCE9-5E71212F4DF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ac9628f88f0a1d372b6cc32f9433b171852bd70a","datavalue":{"value":{"text":"On first-order theories with provability operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4323033$C9FB8669-52C2-4313-AC1B-4C15F65DA906","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"670899ee3cfc546f9a054f37d032b1db24607eb7","datavalue":{"value":"0860.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323033$FE235F0D-B067-46AC-A600-43CFD0B607E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba8c24e671cf5c6dd0ce3128aaa668ae19c50b5e","datavalue":{"value":"10.2307/2275696","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323033$8D246D9B-68DD-4DBC-A35F-EF21B0D397AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323033$60F1A56B-DD5B-40DE-AC76-219039C81876","rank":"normal"},{"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":"Q4323033$DD77A9BE-F993-4ADA-93CE-48D098DFDC44","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323033$9A95497C-E282-459C-929B-9AA4C73036C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c3f5020bb391825f091a9eb9719aa6d72bf1e1b","datavalue":{"value":{"time":"+1995-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4323033$F79AA9BF-ABFD-4B01-B773-526DCC99DE4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323033$E37AFFB2-4243-4D1F-B097-BE24DCCED6C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323033$65A6E815-8CE0-4018-BBEC-2CAF82EAEDC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323033$8C03A2E5-3BAB-417A-8D7F-C0154521BEDE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8b7513e58291c8082f42bf1a6643944fcbaa51e","datavalue":{"value":"722184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323033$C1726055-40EF-46E8-9057-7AF34359D18E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c569ff051010540f2e55001d901801d97a4dd31f","datavalue":{"value":"provability operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323033$EB79452D-A441-415E-8AE8-F2411ED5B870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323033$4D63E530-8DB0-493A-8817-DE16EE1AE4ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323033$A6495D2B-CF3A-4144-BCB2-2181DA24EC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e5e6e64f7f171dc89f3c77310230730ce57088b","datavalue":{"value":"Presburger arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323033$44F8EA29-1EB9-4C77-B599-E8DCA1763F19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eecaf608f8364efad07406e615bb4f5ba45d6c3","datavalue":{"value":"Skolem arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323033$654B0E78-4B1F-4B0E-BB49-703C0CD3B808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68ae064ee41a9c88bbfa979bf89e119d3be95d2a","datavalue":{"value":"provability extension of a theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323033$C6FEE317-85A5-4BB2-A1E1-820B151FED1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18d7e8a9c2fef410a0ec0f47c6e1f03bb0f97bc1","datavalue":{"value":"first-order theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323033$EB111235-8059-4A7A-8051-55AFAEC3437B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c9b5fc92f3456f12eb3d7755886c7bb4d191aa","datavalue":{"value":"partial consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4323033$03E81395-93A8-4E40-94C5-36ED36C861F4","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":"Q4323033$D596C7C4-293C-4CF1-859C-EE156F79DC94","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6cdf7d442e9901af960a43741a53ed3aed3eed1c","datavalue":{"value":"https://doi.org/10.2307/2275696","type":"string"},"datatype":"url"},"type":"statement","id":"Q4323033$37F4D6BE-E4D1-40B2-84E8-87421F3B0E7E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0500db930f2681595017e98d603659ce86657263","datavalue":{"value":"W2127066753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4323033$4F434076-4FF6-45BD-81C9-BFA327FA6C56","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c375f7ed46db9c1e096a9d6b0778d3bdad1702e","datavalue":{"value":{"entity-type":"item","numeric-id":3749039,"id":"Q3749039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323033$75CE40E0-0C69-41A7-8947-55DA57614569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323033$97E14DB4-C3F1-48CA-9E0B-94E066C8F531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"96b42dfb20fcebbb8f50196c4d22414616af898b","datavalue":{"value":{"entity-type":"item","numeric-id":1078163,"id":"Q1078163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323033$69E69143-93E1-4E5D-937B-D08166A76290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9210648c2da7d5773e848b729398c42f3567a36c","datavalue":{"value":{"entity-type":"item","numeric-id":4196401,"id":"Q4196401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323033$80B4EB00-45B0-4236-9F3D-E13C8AE8213E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebd1cf764eb9c91128e15ecfe17f6c1dc4f0ea27","datavalue":{"value":{"entity-type":"item","numeric-id":1068069,"id":"Q1068069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323033$61D8F49F-7ACC-4075-A9F1-9638C2EF8373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed62b11fa5ca9bc652f9dc5559868ec0fc881d75","datavalue":{"value":{"entity-type":"item","numeric-id":800346,"id":"Q800346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323033$45C4F67C-D571-4911-83C4-95FD9C9633CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e103295203a369bf61068979ff5d4c91b935602b","datavalue":{"value":{"entity-type":"item","numeric-id":3768873,"id":"Q3768873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323033$B7307F4C-8935-47AA-8E4C-C853D215B0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be99e1f896a6838dd0f91ded8130808d4f1089","datavalue":{"value":{"entity-type":"item","numeric-id":4052072,"id":"Q4052072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4323033$15C840B2-E5C1-45F6-BA4C-524BFEE57F59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e8120110a1f454c624d44a8f0d27d23d7923663","datavalue":{"value":{"entity-type":"item","numeric-id":3364717,"id":"Q3364717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0afe6cbbff15a386dd2bf66ff74915cdbe23bb28","datavalue":{"value":{"amount":"+0.818123459815979","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":"Q4323033$75186186-9E4F-45E2-9159-7EBF9A2F4F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f9e41458dfc0f04035f722eb020181ff48d878e","datavalue":{"value":{"entity-type":"item","numeric-id":4534366,"id":"Q4534366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4dda4ddea20d1e4b255f5eb2eb505468a1294ce","datavalue":{"value":{"amount":"+0.7963853478431702","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":"Q4323033$9BF82425-3880-4990-B025-A0AE25C2F713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9700d3bf88235cc4a91f9547b54bd356ea7cac63","datavalue":{"value":{"entity-type":"item","numeric-id":1068069,"id":"Q1068069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4dda4ddea20d1e4b255f5eb2eb505468a1294ce","datavalue":{"value":{"amount":"+0.7963853478431702","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":"Q4323033$71B52833-456E-499C-A139-B986DFCD3F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee830c2602cae53dc524e7f165b169a576fdf12d","datavalue":{"value":{"entity-type":"item","numeric-id":750418,"id":"Q750418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd81647e763d273cbca18bc1908cb8fedf588799","datavalue":{"value":{"amount":"+0.7896149754524231","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":"Q4323033$A83B90FB-F0AA-43D6-BCAD-52FE6E184781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69c6bf2e0f75f1324d872302ebcef2d71dde4f9d","datavalue":{"value":{"entity-type":"item","numeric-id":579232,"id":"Q579232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3f817957addff009ea5faac5d1538927494b597","datavalue":{"value":{"amount":"+0.7872998714447021","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":"Q4323033$B83C7AB9-36C4-4381-A3DC-A056DDC67B7C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4323033","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4323033"}}}}}