{"entities":{"Q754861":{"pageid":756710,"ns":120,"title":"Item:Q754861","lastrevid":42678901,"modified":"2025-07-08T10:04:07Z","type":"item","id":"Q754861","labels":{"en":{"language":"en","value":"Completeness theorems for two propositional logics in which identity diverges from mutual entailment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3648677"}},"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":"Q754861$33966FF6-907A-4688-91EF-C4035C70D8E3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4741f0376e4ea460f7e6ce40bda20426e4aaa49e","datavalue":{"value":{"text":"Completeness theorems for two propositional logics in which identity diverges from mutual entailment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q754861$FAC84541-FF45-4970-8F14-BD7E81890B4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1119820384a0b1a32c7828c94bf61460c0ec5e0d","datavalue":{"value":"0417.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754861$A1D6595C-64FA-46F2-A113-3CA64CC8111F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fef67e2b7913a50cbc949e62ce63697db0c880c","datavalue":{"value":{"entity-type":"item","numeric-id":754859,"id":"Q754859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754861$B67D540B-7E9D-4B25-90B6-CFCDE9518A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"63310b21f48ecf0f12fd8bbe33f955572e4cf135","datavalue":{"value":{"entity-type":"item","numeric-id":754860,"id":"Q754860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q754861$9072DA00-4159-4079-B1AA-93B255481A68","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":"Q754861$841C41D9-F34A-4DFF-B14D-87B76418E6E6","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":"Q754861$CE795E97-5FF5-478D-8D4C-8586EBB8A7AF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754861$6C8E3612-4FE0-4B0A-80D6-B5CB12F19331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754861$C6BD71B4-2F8A-4E00-9DB5-34459A97B226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754861$76D0610A-D587-4F6E-874C-710AED799F15","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"49186210869ad36d3744e28f91ab71e9bc080285","datavalue":{"value":"3648677","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754861$90CE48F1-0813-4096-9915-7AF0DB69E063","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2c19f911179bd48de63cc4a5c8166d20f9271d","datavalue":{"value":"completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q754861$C03B05F8-2E2A-4E22-8841-8B98E79F9FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ca106ef01d8fec4153d4b404b5a0c354d8066e","datavalue":{"value":"propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q754861$4B1603FD-E85E-4C98-96BE-579C2BD6E381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1a07b6794afdcf52f67c59e3e338c7ec0dd3fca","datavalue":{"value":"mutual entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q754861$A0053382-2C65-41F5-9DDF-D05730677E9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b98dfa992d719950bd4950cd3b30762f798a9bc7","datavalue":{"value":"model theory for entailment","type":"string"},"datatype":"string"},"type":"statement","id":"Q754861$B12DF9AA-DD56-439E-BCE6-3153FBD39D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff04c7d6d5d15c4422d20de7a09bb280bc1ff9f7","datavalue":{"value":"propositional identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q754861$5C35CC6C-D5C4-49ED-8A41-7779402E4F37","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":"Q754861$72E92EAF-E0FD-4BF3-A6C4-11052D2A4477","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a13011371eadda59f98776a5113312bb11225771","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093883462","type":"string"},"datatype":"url"},"type":"statement","id":"Q754861$6A731190-101F-4C05-A6F6-670ECA6E18D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52de066c37b8b29ad810fd7c0cbc7d7a6671cb36","datavalue":{"value":"W2069184639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754861$079B7C8D-4B5A-42D6-A2AF-65FF84CAFAFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"224045e4ee0339674461cba3bd18fded7a2abcff","datavalue":{"value":"10.1305/NDJFL/1093883462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q754861$6676C2AB-9D9E-4A96-A3E6-FB6BFC726364","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:754861","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:754861"}}}}}