{"entities":{"Q6146289":{"pageid":13280596,"ns":120,"title":"Item:Q6146289","lastrevid":57348075,"modified":"2026-03-30T14:32:22Z","type":"item","id":"Q6146289","labels":{"en":{"language":"en","value":"Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7786296"}},"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":"Q6146289$E4FBD318-DC7B-4649-A585-6F5E4EC1FE6F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc2054a5a6b80ebc1742dfab0e01c717d598f670","datavalue":{"value":{"text":"Finite tree-countermodels via refutation systems in extensions of positive logic with strong negation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6146289$7D2EA41E-228E-4BA8-90C2-78C1048E5406","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30b5148357ddc46afe7867b178a15576d428368d","datavalue":{"value":{"entity-type":"item","numeric-id":689213,"id":"Q689213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6146289$14585147-63F7-4363-ADCC-F717EC91D910","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6146289$5C3370A3-E47E-4F34-B75E-65C71BA2434F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7cac0ee5d1568f5544a67ab3dc770d43fbb8a14","datavalue":{"value":{"time":"+2024-01-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6146289$CD015723-8F5A-4BCC-BE0B-4DB112D2F864","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6146289$3C91AD64-E7ED-40DD-8ACF-290E19267A66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6146289$68CDF7E5-0743-4BA7-8EEC-23C3064E2062","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a967f00686d50da4a223c90af0fc2dc63e594ce4","datavalue":{"value":"7786296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6146289$3D3568D6-BEA5-4D2A-966E-9F7194AB1A5C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216a8d7b871a062bad8919fefbce32ef5dade227","datavalue":{"value":"refutation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6146289$0FBD861E-E9F6-47E2-969D-14518BD86170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79f58757d3882f2f22f77fce4280e7c7b45902a7","datavalue":{"value":"countermodel constructions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6146289$63D07FD5-C1BE-42CF-8357-00E2F4D0A84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93e9b5c033e3e6c963d22480f72db793525fb284","datavalue":{"value":"extensions of positive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6146289$7726DA40-A986-4947-890B-DD39B9A861F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6146289$91FF352C-1BD8-4118-A454-3B13E0E8D11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"735f2ebc05591cf0fb1969be44c3110a721562f7","datavalue":{"value":"the connexive logic \\textbf{C}","type":"string"},"datatype":"string"},"type":"statement","id":"Q6146289$4F388F2A-EB55-4B87-A248-E044191752A4","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":"Q6146289$EF2DA05B-E666-4528-8FC6-573CF4814B5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5a75eefd93c0c7bc9c9395d9d4d33579d6c991f","datavalue":{"value":"https://doi.org/10.1007/s11787-023-00338-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q6146289$EECF2980-DE55-4960-83DC-6B1D9B4E463A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c0a669f28714261623759a9008695ed2fae78741","datavalue":{"value":"W4386736356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6146289$4817464E-600A-4D10-B6ED-6D605AFD3A03","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6146289$0FCF2E8A-9823-4508-9857-AC0D4601CD4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"735a19e60a73e1077ea18c99c8adabd9ce9040e4","datavalue":{"value":{"entity-type":"item","numeric-id":5104723,"id":"Q5104723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6146289$51F463E1-56FC-465C-B077-D2A948D64830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"798493b8b7557c6cf5c2c831c36ebdd1f49faee6","datavalue":{"value":{"entity-type":"item","numeric-id":1604792,"id":"Q1604792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6146289$626E83E9-72D7-4530-ADF9-CF8479096E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c1f580424b5630333db701f9ec131434a539379","datavalue":{"value":{"entity-type":"item","numeric-id":5483018,"id":"Q5483018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6146289$2C6706D2-160D-401A-92C5-1C9C50C30770","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4003d184e205b5ea77e7c4819818fd267195614c","datavalue":{"value":"10.1007/S11787-023-00338-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6146289$2483FD72-1E04-4F26-8A3F-4F61F85FFD97","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6146289$10181D70-33CE-492C-8B83-1DC7038820ED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6146289","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6146289"}}}}}