{"entities":{"Q5406129":{"pageid":7435703,"ns":120,"title":"Item:Q5406129","lastrevid":51960845,"modified":"2026-01-20T15:35:03Z","type":"item","id":"Q5406129","labels":{"en":{"language":"en","value":"Propositional primal logic with disjunction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6276455"}},"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":"Q5406129$E360B515-FC7D-4327-B699-71EA93B7F3F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"264987420e156b8b1c7d368fbd765ea897ff2182","datavalue":{"value":{"text":"Propositional primal logic with disjunction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5406129$8E89B168-E3C1-4232-8FC7-D8B0E64A30CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39c5e6a828d92fe74c8abd1ce5818232ee1b943d","datavalue":{"value":"1327.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5406129$DB745130-E0F2-4AAB-B837-BDAC85606503","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1832e2b8d11d1c115bb49a23d134e9ef7371fd03","datavalue":{"value":{"time":"+2014-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5406129$19BE8E4B-5FBE-425F-96A2-EC0F44D7A658","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84bd359d4741f246450b4612193292f04f17d4bd","datavalue":{"value":"https://semanticscholar.org/paper/6fc9f8bc71b9588de2af35dd9adfe41f5d4e3ff6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5406129$EB37BB12-BDF0-46DA-8814-5D26CB122037","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5406129$C482DBEE-85C1-462F-9AC4-D8677FF34F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5406129$55F2EF3A-9169-4615-9A94-9587F57898A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d165c9e30deb24fd557d55648caa7d877ec2ab7","datavalue":{"value":"6276455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5406129$5FB031B7-7C28-46AF-9D8D-6BD41A3AC875","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4fe59091fd689ac5e5fb908d95975d0108f4083","datavalue":{"value":"DKAL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5406129$9AE9D7B6-BEF5-4DBE-9976-5CA5D019225B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2cd42e0c0a9b3b05b2a72ab1966135f85a93f8df","datavalue":{"value":"authorization language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5406129$0159945A-B93D-4A83-A6F2-BB1B0A544864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f34fad7c1540bf1ca1182adc9f3ea94c1e58e9","datavalue":{"value":"primal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5406129$BABC66AE-4B94-47D8-B8E5-80481CC4640C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5406129$52FAAE76-9533-4DB9-8B4F-2E02DCB39EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5406129$DF28B114-15FB-4DFF-869D-C26B3F63F07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5406129$BF481952-AAF3-4A97-8B2B-6E026C9612F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5270766f22c7ad4a781677af5d45e6943b2a3573","datavalue":{"value":{"entity-type":"item","numeric-id":636315,"id":"Q636315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5406129$AE29FB7B-94B6-48E4-8B9F-E114CA4ED983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"aee4d3ee1c41565a5a83b17f16adc6668f5bedeb","datavalue":{"value":{"entity-type":"item","numeric-id":293302,"id":"Q293302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5406129$C6621919-593F-41B7-A1EC-0ECA1D819513","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6111489034643139b6436054b44d6250e7c1756c","datavalue":{"value":{"entity-type":"item","numeric-id":41339,"id":"Q41339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5406129$9A860DDF-0041-44B7-BEA0-5BB2F6986D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c652c0e0b343ca8ddf78ca267401489e0159b6","datavalue":{"value":{"entity-type":"item","numeric-id":31916,"id":"Q31916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5406129$3DF0E4A4-16FA-4548-9186-06C521C5E4D9","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":"Q5406129$58506CF2-9EA1-4EB9-944C-C7C3EE7E6945","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"29b6c906c705735c2ffddb97dfcb62022fe0a200","datavalue":{"value":"W2089024112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5406129$79B5FB35-EDBC-49D5-B07B-742F4D6BBC79","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9a407f7011715e34135eccb707eb320bb32cb73","datavalue":{"value":"10.1093/LOGCOM/EXS018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5406129$F2BC5D9D-EABA-477F-B1CA-5D4204140EE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5406129$A2F67FDA-726D-4730-987C-99A35A9282A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86d5faf6c997b2926301bf09e30fcfbf356cfcc4","datavalue":{"value":{"entity-type":"item","numeric-id":2900510,"id":"Q2900510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f85f72a828a8b2242d0da3c92ac4668c63d43500","datavalue":{"value":{"amount":"+0.8405430912971497","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":"Q5406129$3B8564CA-2D96-4304-A030-E88C627600D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d83146615681111a5b50b84d5e8bb737586a7fce","datavalue":{"value":{"entity-type":"item","numeric-id":3586018,"id":"Q3586018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5d0e894a2fc9b5c511d60b19f94571d76139a34","datavalue":{"value":{"amount":"+0.7967881560325623","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":"Q5406129$57A2C840-746D-4939-9577-1FE23BEEDBD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdf1ba03f81315753c0a57a46338239db63a2ed4","datavalue":{"value":{"entity-type":"item","numeric-id":2946626,"id":"Q2946626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62483c29dba1b8187820561df4974230571b714a","datavalue":{"value":{"amount":"+0.7946640849113464","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":"Q5406129$6D94207F-465D-44B1-9804-CF62BF2B82C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc3b7ebc77abccc11be97d2ee91332d0b8be5a28","datavalue":{"value":{"entity-type":"item","numeric-id":2963910,"id":"Q2963910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe1f8ab3173a93b94f02d0fd7878b03719dcae46","datavalue":{"value":{"amount":"+0.7837804555892944","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":"Q5406129$615F4038-DC1B-4AC0-87CD-A710CDA08809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"479be39d76aeaf68018b7fb1b0b01d9342717951","datavalue":{"value":{"entity-type":"item","numeric-id":3190165,"id":"Q3190165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"41898ad59b1aa384c6235867f78451343bd33c6a","datavalue":{"value":{"amount":"+0.7643703818321228","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":"Q5406129$6A2D2518-2B1A-47BD-A32C-446D3EC03A72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5406129","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5406129"}}}}}