{"entities":{"Q754178":{"pageid":756027,"ns":120,"title":"Item:Q754178","lastrevid":64124934,"modified":"2026-04-11T17:48:19Z","type":"item","id":"Q754178","labels":{"en":{"language":"en","value":"Quick completeness proofs for some logics of conditionals"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3646852"}},"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":"Q754178$6BFE16E1-9359-459B-A977-94A00A859951","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"893d40714e1366a43ce0d1496b875275759000f9","datavalue":{"value":{"text":"Quick completeness proofs for some logics of conditionals","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q754178$59112B9E-7A15-4296-9798-96BA2DA3A275","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ce460d1e3e786e79a22956db5f89f8cfafd8206","datavalue":{"value":"0416.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754178$0C5C7C46-B1F2-4089-9616-22F310CA3864","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff67de00c31f17cc3dbbf4b6c15cd2eb20281906","datavalue":{"value":{"entity-type":"item","numeric-id":190246,"id":"Q190246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754178$90991183-ACE3-45AF-B31D-AF5906C22627","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754178$BC673479-465B-478A-B12D-93A055A79A0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q754178$37A74996-95B2-4CE9-84BE-D781CF5589DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754178$99E0EE29-2746-43AC-ADC4-B349C891689D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b567be44a515a7b5bdf764fda6768e15bbce6c76","datavalue":{"value":"3646852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754178$B1F1E8B1-2149-454F-9C51-AE8A556EF327","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q754178$F4781ADA-221B-40D6-B20F-3DBACC4087C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f5c4c0fb2ecdde7c8ab166b2b12798c7c6b44dc","datavalue":{"value":"logics of conditionals","type":"string"},"datatype":"string"},"type":"statement","id":"Q754178$96BFAF68-4704-4895-B4FC-20D5257525EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e160969e8503ab74009bc9b0c382cf95d324eef5","datavalue":{"value":"decidable axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q754178$D13085B3-674C-4FEA-8738-D489B389332F","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":"Q754178$A798FC8E-2E3D-410A-B6D8-08A37479D1B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"62a3fc0cfbd139fe79b2695a6ea71e69d8027796","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093883341","type":"string"},"datatype":"url"},"type":"statement","id":"Q754178$9E7B6E1F-EC8B-4C5D-9CA7-964BE19CC579","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e0d7c6091f089f4033bc3f7f5d18883ba9c1fa73","datavalue":{"value":"W2159304001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754178$059B0ACF-AB06-4105-9A28-F808A32C8886","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3b99efb9f91090783de59f8aeff8330f517991cd","datavalue":{"value":"10.1305/NDJFL/1093883341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754178$B2A4CB6C-6DC5-42B1-88BA-A23D33479980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Quick completeness proofs for some logics of conditionals","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Quick_completeness_proofs_for_some_logics_of_conditionals"}}}}}