{"entities":{"Q1147690":{"pageid":1158439,"ns":120,"title":"Item:Q1147690","lastrevid":69738540,"modified":"2026-04-13T09:03:46Z","type":"item","id":"Q1147690","labels":{"en":{"language":"en","value":"An elementary proof of the completeness of PDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3704560"}},"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":"Q1147690$C8BB7D25-AE8E-4EF4-8897-7D13472B20FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d7af0c846e84d9a5d32a62f445e2c959be04794","datavalue":{"value":{"text":"An elementary proof of the completeness of PDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1147690$7A4A0AC3-0759-4EE9-AF39-8601F2F5A2CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebf28edf6830fe2ea932a35691a3e0da7b5ce224","datavalue":{"value":"0451.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147690$2AF916CE-2308-4FFC-ADE7-946055D0183C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c88a8151c64fcfd059cdbad451ca628f89ede64b","datavalue":{"value":"10.1016/0304-3975(81)90019-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147690$6D89A741-6624-4F38-8615-1B0184BF2260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"60a24674fc3fdfdb20ce395c4f54c3ddf31dbed4","datavalue":{"value":{"entity-type":"item","numeric-id":283763,"id":"Q283763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147690$9AC095F5-A9D5-4659-87D6-B518710D37E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e99c5cadeb49ba2d1164b9f9e186439f77825dc","datavalue":{"value":{"entity-type":"item","numeric-id":230000,"id":"Q230000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147690$835941E3-A688-4FB8-A288-F7F432953BA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147690$8B984D16-64D6-482E-A9BE-72CD4892BD84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1147690$86904A99-C3D2-4B7F-8EB7-630737780EC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147690$E9FD2DFA-A6E2-4034-AD48-38FF3887108B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147690$C0022708-61DC-49AC-AC4D-25C3C00867F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147690$73C08235-0E74-496B-B24E-06A9F88826F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147690$BC55C3B7-FA1A-424A-9506-B7285B230C69","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"685f2e07c23500f0e85f9fa67887f54a692e04e2","datavalue":{"value":"3704560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147690$7A179740-52CE-479E-B0CE-A26D04A72FE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147690$4BA7A5D1-22F2-4DA9-BF82-8922FC6D71D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d54771bfe51e9d10f494511c79abbe7d90cd697","datavalue":{"value":"semantical completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147690$2BE8C42A-1D85-42F1-AB53-5AF19DCC2F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db2c4226e8e86e1e1f02cc5ead167f218ce71434","datavalue":{"value":"Kripke structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1147690$5D40C79B-65F0-4871-93A6-C3339D938CE7","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":"Q1147690$B84F1F1D-CA52-405F-949F-D5635F3CB3EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad2af6e828c92b84ce3c6fb9b86855c9f6bc5a60","datavalue":{"value":"https://doi.org/10.1016/0304-3975(81)90019-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1147690$BE0A47FA-63E8-4633-AB63-1AA302EAFE95","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fbca5af7a61d48ed6bf432ddac64cc100665332f","datavalue":{"value":"W1988903622","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1147690$B857F700-ED51-4CFB-A2EA-E4806D572DBB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147690$B0C05D8A-2B07-43ED-BBFE-ED21D0765647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb014dfde891391eb0a6999c342885eb9bc70ccc","datavalue":{"value":{"entity-type":"item","numeric-id":3881901,"id":"Q3881901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147690$71F3DA23-0728-45F4-B46D-52F03F329CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27eccfbbbede2a21c5d645307bcefa275e190922","datavalue":{"value":{"entity-type":"item","numeric-id":1254991,"id":"Q1254991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147690$12404430-888D-46E6-860C-603DB12EB287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95807cee93bd9b3ec684c69a003f40537441c31","datavalue":{"value":{"entity-type":"item","numeric-id":4173344,"id":"Q4173344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147690$A899F017-7E43-480D-A800-D9C0395D2B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"125a1c4a592ac8674db7efe66e4c1622fce9dc25","datavalue":{"value":{"entity-type":"item","numeric-id":5402573,"id":"Q5402573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1147690$EF3C8CA4-77DD-43ED-A7EA-3925E0663767","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An elementary proof of the completeness of PDL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_elementary_proof_of_the_completeness_of_PDL"}}}}}