{"entities":{"Q3671125":{"pageid":5701031,"ns":120,"title":"Item:Q3671125","lastrevid":49969474,"modified":"2026-01-12T08:53:49Z","type":"item","id":"Q3671125","labels":{"en":{"language":"en","value":"THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823741"}},"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":"Q3671125$AB29488E-B4C8-42C1-BDD7-C95AD4E7234C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"97e7d3ca526593cbb1c1f8e55d161868be7d4f53","datavalue":{"value":{"text":"THE MODAL LOGIC OF CONSISTENCY ASSERTIONS OF PEANO ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3671125$13067EFE-E057-4447-9454-26EACCE86CDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b03155367e22aac14561186d4c4674b1ec31c41e","datavalue":{"value":"0521.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671125$80FAC705-1D6F-4D3C-A130-9D51F63AD940","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d0979bbcd7d577f2b6333689cfdba669a470be","datavalue":{"value":{"entity-type":"item","numeric-id":651320,"id":"Q651320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3671125$40DA18CF-99A7-4562-A36E-599975C11F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f9b06c5e438ff99a50e393029fe4fb6fbb5d0560","datavalue":{"value":{"entity-type":"item","numeric-id":908908,"id":"Q908908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3671125$01950DAE-D3A5-472C-A5EC-531A5676B16F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3671125$64FE5FA8-7B3A-4CB2-8213-AC41860B595E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3671125$480EC358-D41B-49DD-8211-5FFDBE84D47D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671125$C2E1FD50-E60B-4800-A670-97693DF9BEEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671125$DD1277BD-4ACC-4E97-9829-00DF0CAB099E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf99ba97d38850b68ebe44c07563aa3c239d3692","datavalue":{"value":"3823741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671125$9CD15EBE-2706-485D-9C0A-C03EBB531565","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671125$2C30015D-997A-44CB-BC69-27D93C3CC577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671125$090E149E-E1EA-4563-8B6D-2DDBE9914058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671125$7D49E29A-B7F8-4AE7-AAB6-F013BD6178E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1480a6824cc04275baeaf379df254217e4e13c0d","datavalue":{"value":"consistency assertion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671125$ED74A107-6487-4813-A2E5-539C79A9A307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eceec5bf523e915b11f39e102d3dbaa63d73a78","datavalue":{"value":"extension of GL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671125$485058F6-7919-44E3-9F51-2641067534BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671125$A7806F03-7734-4207-9C9D-EEE12270605A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671125$E082292B-CA15-4033-8B23-CEF6B5A91C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671125$68C69F12-28BC-41C8-AE53-AB568D73F5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17a01cedacdd5d7fedd625de50de09464f3aa2c0","datavalue":{"value":"Kripke frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671125$964E0B7C-D3F0-4A7E-B3A9-F85920F94DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3671125$CEF77F77-28E6-4C84-B335-016D5B3DA624","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":"Q3671125$4DA0973F-0D70-4DB7-B0A5-269C8042A0ED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"545719e0fe42041d7f145471d46e1cfd8a173d7b","datavalue":{"value":"https://doi.org/10.1002/malq.19830290105","type":"string"},"datatype":"url"},"type":"statement","id":"Q3671125$914E6023-B75E-45B5-AF91-E06C8D2D53A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97ffb1b0bed8d36d6a56949b7144c95570e938fd","datavalue":{"value":"W2060449176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671125$F815739E-583A-4B16-81DC-261F7447CE58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ec259a2a55e91f5560c7c342142b5ed5a13f3c2c","datavalue":{"value":"10.1002/MALQ.19830290105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3671125$1D68E76F-F2B0-48B4-BEFE-832095794987","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3671125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3671125"}}}}}