{"entities":{"Q2483080":{"pageid":2493823,"ns":120,"title":"Item:Q2483080","lastrevid":73337787,"modified":"2026-04-14T15:29:23Z","type":"item","id":"Q2483080","labels":{"en":{"language":"en","value":"Some properties of the roots of theories in propositional logic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5270921"}},"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":"Q2483080$87716139-6FD2-4642-ABA9-F6F1043CDDA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23c339b469bf9783463b8b38ca935f241ddf473c","datavalue":{"value":{"text":"Some properties of the roots of theories in propositional logic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2483080$CAF0B957-644C-4657-A21C-F35ABE7D9EDF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7745357911eedecc845d6d73a1cefbb87dc533d7","datavalue":{"value":"1138.03310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2483080$F1642390-238C-4413-9A15-D10F33ED127D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0c85f5b96b986df789b8d4fc9e866a9d7e884a6","datavalue":{"value":{"time":"+2008-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2483080$81FCD2DB-55B4-4E22-B228-C6D602D5BF38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2483080$32D8FE81-6F97-4DB6-823D-71B2CEC17E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2483080$C30D382A-79C7-4263-ACFE-5F937610F8FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2483080$D0589A36-EE3A-422F-8B90-2BFF8F7C324C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98352998c725dd61a65185428dd00fc232567abc","datavalue":{"value":"5270921","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2483080$9163443A-D8FE-4C20-A0F7-CAD83C94D287","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4e5c7c3633e83abfc12cd68e219a362dcae0685","datavalue":{"value":"propositional logic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2483080$4CA9AD14-1BC3-4962-81F0-21AECAA1F3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdeccac3a7496701b9d647ed4e7ae49f090ad826","datavalue":{"value":"\\(\\Gamma \\)-conclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2483080$BF00F1EC-3948-412C-B42C-0C482D676668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ad9fe8451e89b8926289829c79b98e5de8484c1","datavalue":{"value":"root","type":"string"},"datatype":"string"},"type":"statement","id":"Q2483080$85831719-9462-439D-B9F1-6CE4333B2783","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"886cd48ede84d1e4cded9add13d9fd87244a71f6","datavalue":{"value":"deduction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2483080$1F30A197-1163-4F10-82ED-BECDFEBAA560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf520eb8b8bfd6e800d31d1411cb0111a25a5675","datavalue":{"value":"divergence degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q2483080$3A28D6C1-B9A7-4EDE-8498-CE5538A88B9F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5504db1eb02245a231b725243c2553abc5631b18","datavalue":{"value":{"entity-type":"item","numeric-id":839469,"id":"Q839469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$466855F5-EF04-4C87-8973-0FE154FC840C","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":"Q2483080$2AAD5603-01FD-45A9-A8E6-7A335840E661","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba3152fcb86e10029aa666c3364fdd66cb0e2595","datavalue":{"value":"https://doi.org/10.1016/j.camwa.2007.08.035","type":"string"},"datatype":"url"},"type":"statement","id":"Q2483080$C2AEDC5C-F13E-4BF4-AAB8-1621409E3150","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cffa3d91c5bfcea5346718527d841d211f2eb16c","datavalue":{"value":"W1989107721","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2483080$C9011E4B-5B9F-4C51-8CEB-05EC8DF1F81F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$C1633632-FD79-4459-B761-EC206FB9912B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"052df427476c54fbc19e09adda9b45637fb7c9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3890663,"id":"Q3890663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$3A3A2815-F68B-4EE8-B818-5B9A787FB546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431e06942f4c8c9528da03dd12e2c03c5bf98e7c","datavalue":{"value":{"entity-type":"item","numeric-id":2641292,"id":"Q2641292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$39363F4C-A839-4DDB-A9A1-AC4A07C7313E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0aa0016e06befdb7a4885c78c41a8d0265960ba","datavalue":{"value":{"entity-type":"item","numeric-id":4295250,"id":"Q4295250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$DE3C5E61-A148-4128-8B72-97BBDFBA9A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45cefa4e5daa52e90bb77bcc21bc178ad65e6a70","datavalue":{"value":{"entity-type":"item","numeric-id":1602548,"id":"Q1602548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$CD22C12A-7BD2-4A73-B686-83C3FB170ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a817582b2877161f03cbeee337693db2be6016bd","datavalue":{"value":{"entity-type":"item","numeric-id":1376008,"id":"Q1376008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$8E1E1162-F95C-4090-B2FD-FBC6CE017865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbf6c6529a2469165394ac47a20cf663fd5ec97","datavalue":{"value":{"entity-type":"item","numeric-id":5065004,"id":"Q5065004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$345D9F13-B354-46A9-8D3E-E2A40E78B307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb8206136bb1a3e3206c15b8c3fd64eecf1b0ab","datavalue":{"value":{"entity-type":"item","numeric-id":2757760,"id":"Q2757760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$4B9FC468-4FAC-4600-88A9-DDDB69A8F6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"276376264f33785f3bbac09d286d496eeb1c4a37","datavalue":{"value":{"entity-type":"item","numeric-id":1873679,"id":"Q1873679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$74107944-3848-4A7C-9B26-D970B2F388BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0171e524313413a78531858488d79ac08e801efe","datavalue":{"value":"10.1016/J.CAMWA.2007.08.035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2483080$2A95D77C-9714-4572-AA59-C0F0CC4820AE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"293935db3834ff8b5d542ae1771b7c6cb66baa38","datavalue":{"value":{"entity-type":"item","numeric-id":85551,"id":"Q85551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2483080$FBB43F09-A5C9-4DC3-80D5-D6F37750CA27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a78b821cb73b73df30b51a8ef54c51ca912883","datavalue":{"value":{"entity-type":"item","numeric-id":5426338,"id":"Q5426338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4ffd98431d2db24cc1f1035a5c2b32905a94a5c","datavalue":{"value":{"amount":"+0.8400917053222656","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":"Q2483080$64E6DD50-EAEA-41E8-B65B-1575DA9C5121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5838c7a502ae3042a7f02c1801892b36d12102f8","datavalue":{"value":{"entity-type":"item","numeric-id":621597,"id":"Q621597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e592673c9b0c02c6db683c00612bf961be3aca","datavalue":{"value":{"amount":"+0.77435702085495","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":"Q2483080$28CD2A08-C636-4727-B823-22F9ADA1C984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee93a9e40068e87d87728ffda1d86e19df953da","datavalue":{"value":{"entity-type":"item","numeric-id":3071967,"id":"Q3071967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"014fe4dae939baef402b5c2cf80beeb3ac51e3e0","datavalue":{"value":{"amount":"+0.7640555500984192","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":"Q2483080$A83917D7-975B-441E-9AE1-7E94BB021B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efac691678f375b78afe950871f7966086d4da6e","datavalue":{"value":{"entity-type":"item","numeric-id":5193988,"id":"Q5193988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e1bd83bc9976fe2bdf87f6e3d82a32a10164b94","datavalue":{"value":{"amount":"+0.7498800158500671","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":"Q2483080$E5F360D3-EC57-49F0-98B3-9855549B9DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b5143a188ecc60375abc79d50b3b8bdf7d2900e","datavalue":{"value":{"entity-type":"item","numeric-id":4461445,"id":"Q4461445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6401b63ed5c3e171c40022507b4f1badf25f0ac8","datavalue":{"value":{"amount":"+0.74431312084198","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":"Q2483080$95C59BA1-DFC4-48AB-94C4-61E2FAC9608F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some properties of the roots of theories in propositional logic systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_properties_of_the_roots_of_theories_in_propositional_logic_systems"}}}}}