{"entities":{"Q1923830":{"pageid":1934572,"ns":120,"title":"Item:Q1923830","lastrevid":46398660,"modified":"2025-12-24T17:12:23Z","type":"item","id":"Q1923830","labels":{"en":{"language":"en","value":"Eliminating ``converse'' from converse PDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 934096"}},"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":"Q1923830$8BDC8ED5-438F-48E8-9F44-CF0C7B3471AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9d12f69586548f21a8e24d87d6fe8cf715a9b71","datavalue":{"value":{"text":"Eliminating ``converse'' from converse PDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1923830$F917C03A-FCBB-4011-8BB7-547EC17FBB95","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e670839905f623001a82dc51e1d189776d0dbdca","datavalue":{"value":"0923.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923830$40A44504-861D-4BF2-87F8-BA8470EAD2EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c89a4e83d9ccd5ed0f89901ac16452e1bdf3cbec","datavalue":{"value":"10.1007/BF00173700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923830$F77CA068-3547-4C95-8089-E1D4F725DE06","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2099869b514aeb1a2ed840658681e19bf61d79e","datavalue":{"value":{"entity-type":"item","numeric-id":286404,"id":"Q286404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923830$2D789C52-2774-45C9-B8D6-E0B5DF3FAE93","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923830$843A131C-B8BF-4F8C-82B9-EBE8FE8BEAD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9e2f38af2b9b50bb6524b19e002d57dc0f88b01","datavalue":{"value":{"time":"+1999-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":"Q1923830$E379466F-86F7-495C-BCBD-699BA096C25B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923830$85B20FAF-6A8A-4E9D-8CD2-5E7D8EE3FC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923830$1F72D77D-CD47-4D85-8708-623334068477","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"24ef78c5b67e5337b8f90f273faa8790bb79fdb6","datavalue":{"value":"934096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923830$89989397-A294-4329-8905-1769C6EF3886","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d8c0fb60683df6825d0593bada67969593f38db","datavalue":{"value":"converse propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923830$64753C55-C77A-4EA2-8FC2-8FE69A95D561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b251f15ec75daa4c102e69f2fdbbf1c70270d6b","datavalue":{"value":"elimination of converse programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923830$D83AFD49-E6C6-4795-BD2D-A403B65B1094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"154b0bdb2e5d1ea801d9511ab8174ed7ae1ecce7","datavalue":{"value":"encoding of CPDL formulae into PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923830$582D6E4B-A274-4913-A4B5-C792261E3AC5","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":"Q1923830$8BB7B8F6-854B-4305-80B8-7ADF2D691CF4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3cbcc4a7874637c48a99f8276c543264d6d3664f","datavalue":{"value":"https://doi.org/10.1007/bf00173700","type":"string"},"datatype":"url"},"type":"statement","id":"Q1923830$C5AEC6D6-B092-47AD-85C6-A93A7449D42B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3967118450b541898ee5a4db40efbb54d693191","datavalue":{"value":"W1995398260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923830$F8EE4A7B-7167-48B4-9159-82E70D4FCFBF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44df01e802fb1845d5b72bf37b619ae93ed6e201","datavalue":{"value":{"entity-type":"item","numeric-id":5747763,"id":"Q5747763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d79807481db95057b5afda41ac84f1ed8237904","datavalue":{"value":{"amount":"+0.8079019784927368","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":"Q1923830$EF10B015-6344-41F7-B4C5-43F781D6D460","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5b5f16b9abd918b5a51b84b1c32305d8a3114e8","datavalue":{"value":{"entity-type":"item","numeric-id":3740223,"id":"Q3740223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eafcfa01bf1727780ac767cee9b7a1ab13d6a599","datavalue":{"value":{"amount":"+0.807847261428833","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":"Q1923830$74807E93-29D7-40F2-86A4-6FAB8DA81FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f8b0d0383c79431497177fe560a2953b859ad1","datavalue":{"value":{"entity-type":"item","numeric-id":1854371,"id":"Q1854371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61cbb63227a3d20f73bc5fe3300c3c2e5299db51","datavalue":{"value":{"amount":"+0.7756267189979553","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":"Q1923830$47BCAB63-D84B-4E65-932B-D7F291A5CD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"079684752b1943f1aee76a1343d5eb0e709eae7a","datavalue":{"value":{"entity-type":"item","numeric-id":4647551,"id":"Q4647551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a738c4a8b901b5dab74ba1f33d07fa0539ba1d82","datavalue":{"value":{"amount":"+0.761501133441925","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":"Q1923830$AF368679-ACF2-4F1D-A3D8-64BABB790FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb6ce98ae8317df1eb9b436c09a370a65180c27","datavalue":{"value":{"entity-type":"item","numeric-id":3616354,"id":"Q3616354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4914d9b0e1c04e97c347ea108cd4075bc2977f6d","datavalue":{"value":{"amount":"+0.7533515095710754","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":"Q1923830$A4D39F42-ABD8-4B80-ACA2-1483998A52C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1923830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1923830"}}}}}