{"entities":{"Q1903583":{"pageid":1914325,"ns":120,"title":"Item:Q1903583","lastrevid":69244350,"modified":"2026-04-13T05:43:26Z","type":"item","id":"Q1903583","labels":{"en":{"language":"en","value":"Partial up an down logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 824596"}},"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":"Q1903583$4C3B0404-39E4-46D9-B7D8-EB6FBB3FC397","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"265c9508bfc5164acf11fc727ce317dd044d77ce","datavalue":{"value":{"text":"Partial up an down logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1903583$AADD80E3-6DF9-4145-939A-67A8386AB1B5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"65809668bb9a4d1d8c00899e9d4ab197ff0f8c9d","datavalue":{"value":"0837.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903583$3ADF64C5-F845-4643-8252-1288FA6FC799","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d915271e0d118a0f404eaa0ca45107ca926bab88","datavalue":{"value":{"entity-type":"item","numeric-id":1903582,"id":"Q1903582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$4D3BE98C-5F29-4E76-B100-8453E6F66288","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":"Q1903583$7AC7090E-E580-4291-8897-A8351B5E66F1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57214d04ae05943a5137d82d5301ca8fec913bba","datavalue":{"value":{"time":"+1995-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1903583$DCA8969F-AD28-4162-81BC-8D9A150E8D18","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903583$7166D608-5755-462F-A476-889C78C078B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903583$0B430C69-0681-4A71-B04E-F50B591B5EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903583$84FD012B-86C1-4307-B576-BFE627516ECB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"36c644a2869e57898640cf6c1e0e41bb01a182ff","datavalue":{"value":"824596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903583$91B4474F-618B-456A-B15D-8994F3E8236B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c87cbde52f840a26923859ea7f5d0370e7c65bfa","datavalue":{"value":"logics for reasoning about extension and reduction of partial information states","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903583$9B090DC5-E523-434D-88B8-E5FD82394BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b40814bfb9713b6ffb18947b83d0cc7e4a5dde41","datavalue":{"value":"constructive logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903583$96835383-9553-4C38-BF10-DE2C4BF795D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d0c572152c209ec46b7652df8ec2a7bdf834d4c","datavalue":{"value":"logic of constructible falsity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903583$F054ED6D-13CA-4C3F-AF78-ED982303D34B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903583$266E2813-0B90-4717-A745-A867D3E72A72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7842636ecd34cc69e9149cb6abd03c615fc9ca23","datavalue":{"value":"sequential calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903583$14615952-6492-4527-BBC0-F232B9C020BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903583$61798C13-F1A6-4C31-B8E6-90C5811BB5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1903583$C61877CD-05D2-461F-8BF6-5F6DE7B82C4D","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":"Q1903583$A364100E-C5AE-4E4A-A5D2-BB8747B2E17E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ef015bd7cd8cef11b03d6c26800d7591e10d0f19","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1040308832","type":"string"},"datatype":"url"},"type":"statement","id":"Q1903583$63B8ACE1-4F7A-4CD8-AF7D-0BB2B473450A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5432644af7c4c6acb160d7d68813b8cba2c5623","datavalue":{"value":"W2010630417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903583$6177354C-FCFB-4712-B099-5867E0C3A286","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b87000e171ea98427f9efb60b84553b6eeb21ef6","datavalue":{"value":{"entity-type":"item","numeric-id":5595152,"id":"Q5595152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$7E1C477E-ED30-40FD-9B48-7A51EA2F2446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42076235377e44e7fa7ea44967b1dda67de38bec","datavalue":{"value":{"entity-type":"item","numeric-id":3858244,"id":"Q3858244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$813CBA3E-5082-4085-8CA9-52FDA7AC682A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46e8651d42ea7152b26ae0b9910092681b17dfb8","datavalue":{"value":{"entity-type":"item","numeric-id":4325792,"id":"Q4325792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$48116101-BCBA-4683-9CB2-23C6B3B28DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba598b353df13ba5ae2c7683f441b0dc7d3ee8f","datavalue":{"value":{"entity-type":"item","numeric-id":4342079,"id":"Q4342079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$DE60360C-91C4-4788-A1D0-976D0F362A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$69FD9812-5185-4320-B841-E15246197C62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"619ef057e81255b9ccbd4741acc451bdab004b7e","datavalue":{"value":{"entity-type":"item","numeric-id":3939274,"id":"Q3939274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$01678E53-6A13-4A42-A956-C44BFE181C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f3dddab2d0747f362f5568fd5142dde52cd1092","datavalue":{"value":{"entity-type":"item","numeric-id":1241438,"id":"Q1241438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$E8700B90-39A7-477F-A802-19FC06C03166","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8261e58a12119ae17be8431dce68f8e58905899","datavalue":{"value":{"entity-type":"item","numeric-id":3026978,"id":"Q3026978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$9A6607E5-AFF3-4745-B447-9170A229D695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1044edf06015fd361d3849f5c2ca8b0ada8c84a1","datavalue":{"value":{"entity-type":"item","numeric-id":4833772,"id":"Q4833772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$21C2C6C6-48FB-454E-97CE-B3BE70BC15B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017778b987c8194ac07ebded4ebfaecfaceafcee","datavalue":{"value":{"entity-type":"item","numeric-id":4273421,"id":"Q4273421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$9D492F09-7A4D-4F36-939E-A6CDF5C9A314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fc0fbba62806d6611fde9901ad3ff3bed111c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5509675,"id":"Q5509675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$35FC25F6-3556-4A38-8E5C-F96ABB12C3CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7e2082aac4242c638e736d317fc947d427f2ebf","datavalue":{"value":{"entity-type":"item","numeric-id":3992553,"id":"Q3992553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$AC0A214A-F883-4DBB-AAF8-48A0F1905E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$CA5ADB3B-4E49-444F-91FF-446103CF42E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$3A583849-4EE2-4B48-A972-47D2C2A476E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb7921b9953083b3a6080973cb1912a2fb6d6039","datavalue":{"value":{"entity-type":"item","numeric-id":1267078,"id":"Q1267078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$33DEDC45-266C-4BE6-AE52-13DE364DECF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9784f0b5b1e69bb83368467e8ad61c7ce436931b","datavalue":{"value":{"entity-type":"item","numeric-id":1314283,"id":"Q1314283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$70AC8F84-F6FE-42D5-B336-63A0CF962119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$D08B534A-E9AF-40EA-89A8-8957F35FDB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$AA69D7CA-7DED-4678-A65F-7B17731EA441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dabd865a39ea297e5c7eee76801bf7450af69b5","datavalue":{"value":{"entity-type":"item","numeric-id":4027734,"id":"Q4027734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$612B1827-3E7B-4B19-B18E-11899981753E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecb691ce41a7ef44b79ceb81e3babab9e31844af","datavalue":{"value":{"entity-type":"item","numeric-id":5537601,"id":"Q5537601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$BAA07D64-7404-4BF4-B3B9-8C0830D74CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00af5ae470c84dbc4ad8ade0806af8b62fb343e","datavalue":{"value":{"entity-type":"item","numeric-id":5570919,"id":"Q5570919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$9860C38B-0CE7-47A5-A3AF-07264B2DCA2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$452F03E1-27F8-49B9-9CBE-8EEC5A230198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fea7a5caddaaf7eb1795202472849680bf0d483","datavalue":{"value":{"entity-type":"item","numeric-id":1315517,"id":"Q1315517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$D9A7CAA6-AA8E-4ED1-B1C9-17A8D6753034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1903583$A7D898E4-2299-488E-8F18-48AD80A7C68F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"013270ec474a8badc194520fe1931113cd4e45f1","datavalue":{"value":"10.1305/NDJFL/1040308832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1903583$E34AF06A-C702-4365-B783-EC6CC7CB49F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"903275c3e9bbc0b76ec82659fd8cbcd3689e3d41","datavalue":{"value":{"entity-type":"item","numeric-id":4395138,"id":"Q4395138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8dce0b6b8afd3576c7967c3374e5832c30ad1cb","datavalue":{"value":{"amount":"+0.7769287824630737","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":"Q1903583$2BB7EEB8-192F-4BC1-A544-A296DF2700F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c822bfcfd4d27cf20d406c3b19d2c798a4fd1fa3","datavalue":{"value":{"entity-type":"item","numeric-id":4395141,"id":"Q4395141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"200cdfbee59de0e546dd6b73e85500417324c324","datavalue":{"value":{"amount":"+0.7661432027816772","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":"Q1903583$B0458BAA-7618-4377-B511-C6E98F13A32A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08188ebe51ca8120cf3123c090ba8d82d59bf163","datavalue":{"value":{"entity-type":"item","numeric-id":2715521,"id":"Q2715521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b78ffdf03a9b32e778a589996f5338a6cb8db4e0","datavalue":{"value":{"amount":"+0.7646869421005249","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":"Q1903583$708B409B-FE0D-4B52-8AAB-889A494ED0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab3a9336d43a0bfe1761560f7d5483275a3e428d","datavalue":{"value":{"entity-type":"item","numeric-id":5411496,"id":"Q5411496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17ed589d0461962273e10e3d06fd3ec622d68e00","datavalue":{"value":{"amount":"+0.7642697691917419","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":"Q1903583$CA77CACF-8645-48CA-BC4A-13D5F7A02B2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04b43e5e938eea98d5f2df94ba0886609189d05","datavalue":{"value":{"entity-type":"item","numeric-id":3309809,"id":"Q3309809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b112b44ec24f9246a18951c5d06e200fff9294f6","datavalue":{"value":{"amount":"+0.7639080286026001","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":"Q1903583$C2F5DC09-4E3B-488B-8520-FDE0F4191918","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial up an down logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_up_an_down_logic"}}}}}