{"entities":{"Q1006490":{"pageid":1008338,"ns":120,"title":"Item:Q1006490","lastrevid":69407049,"modified":"2026-04-13T06:47:41Z","type":"item","id":"Q1006490","labels":{"en":{"language":"en","value":"Strong completeness and limited canonicity for PDL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5532538"}},"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":"Q1006490$6F55607A-6CFA-464A-9BA8-697737AE76B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"802abaabcad9890aa45568f5a906cd4c39b10461","datavalue":{"value":{"text":"Strong completeness and limited canonicity for PDL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1006490$1741CCEB-ACC1-4746-8438-D30F55591864","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"506ff931feb22e5a9de71e86d0f61b43823abc45","datavalue":{"value":"1159.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006490$6E5DB6A6-1EF1-4217-A8F0-201CDEAFFE68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb2d4d62e8cf49a7a165bda55c63cf137d414b8e","datavalue":{"value":{"entity-type":"item","numeric-id":490512,"id":"Q490512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$A4967EE5-E7C3-4F87-A943-5A5ABDF7ABAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27a40f3e393f328cd4730fcb61457b79095ca391","datavalue":{"value":{"entity-type":"item","numeric-id":753808,"id":"Q753808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$313D5C2D-FE26-4688-90E0-4348F6A5FDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad8a4a4842ce7e9395fec03d07820d80de9ff9fc","datavalue":{"value":{"entity-type":"item","numeric-id":1403402,"id":"Q1403402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$DB4BF186-2646-4310-BAB8-5A18F6023B59","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":"Q1006490$7C357545-FF9C-41E7-8155-8277FC88779D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d2ab3bf6018fd8cb2b8743b7e1a22f45853c9b86","datavalue":{"value":{"time":"+2009-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1006490$944419A1-8415-43A9-AC04-379BFE1A8185","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006490$84EAD592-5760-446E-BE22-266B17C1C1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006490$59D5F6E0-1B32-4FB8-864B-CE0E26C9A6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006490$7F18BE7B-4604-49C5-BF0B-7276407DD08E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f045a973724363953e7bb8865f642d2a96492e0","datavalue":{"value":"5532538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006490$98D9B11F-04B4-48CB-9DAC-738E2050C6F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e236badcd38d4db58750936b40e73932ea1622d0","datavalue":{"value":"Propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006490$56A7E220-5E72-4E79-909C-1ABDF02BDFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"611ad7d023dc0b45a07e0e0216eacfc5e191efac","datavalue":{"value":"Strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006490$26D08F28-F8BF-4DC4-988E-6C6CA93639BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b3ed1002f9a2c7660fb308e5092c0d9359c1134","datavalue":{"value":"Canonical model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006490$3849B7B8-66F1-468E-9C83-4AF112298820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab60fa8ba3abf4d0274502b41b34861e526833f6","datavalue":{"value":"Model disharmony","type":"string"},"datatype":"string"},"type":"statement","id":"Q1006490$B51BE853-7EB2-4FEA-B76F-2B0D7B98F839","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":"Q1006490$1887BA6E-22A0-47EB-96E5-33592E28018D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8856e1cbb9966e81b6410eb7d4d53452f68b1504","datavalue":{"value":"https://doi.org/10.1007/s10849-007-9051-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1006490$E67E9049-649F-4CCD-B743-EB56B74F49B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25bc19bf133ed2bd8f6fd56550ac4b2107da3e51","datavalue":{"value":"W2141679935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006490$75801E8F-DBA4-44CC-B742-C5CF6F0E0A87","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfde9258ea2a6a7a2ef370ef24dca25d45d9fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1158956,"id":"Q1158956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$1BFDA5FB-D484-4A8C-A1D2-993FB4E60BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c46af4e2dbdec71e2e1e67a8fb006535d85d316","datavalue":{"value":{"entity-type":"item","numeric-id":4495853,"id":"Q4495853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$2518597A-F840-42AF-9AB3-227649C300A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$897870A5-8E7F-4760-9456-89408E7509AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$F0E518AF-7D8B-457D-965F-E3A0402149E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64d4acdfd6fe1c0f7b472b51ec5d77f3c29c06e","datavalue":{"value":{"entity-type":"item","numeric-id":1183594,"id":"Q1183594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$FB0C552B-6FE5-4510-84E6-CF4091F7F759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af8c69d7eb9fbabc4249a6bcfa5ee2e1e067e76","datavalue":{"value":{"entity-type":"item","numeric-id":5477452,"id":"Q5477452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$FA75DBBC-9E2C-472F-94BC-A7F66BF8AA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e12ce99e75f00697efa1f5f9afd862b773370cf1","datavalue":{"value":{"entity-type":"item","numeric-id":1147690,"id":"Q1147690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$6EA796C1-38B8-4FAC-87B4-CA3526C1ACBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be7c2d0e757c9f54d53d52bcfc35c2df4a42adc","datavalue":{"value":{"entity-type":"item","numeric-id":3947646,"id":"Q3947646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$9F98BCF8-8E65-46F7-B4D2-F91BF85C02F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29914b3e56cb84cb7b0a226433f420ce4b8adcae","datavalue":{"value":{"entity-type":"item","numeric-id":1332142,"id":"Q1332142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$E877BF76-2498-46A3-926B-D08D4D9C3782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6657fd6c71ba7f022fe682dabd085f8cf2b8e051","datavalue":{"value":{"entity-type":"item","numeric-id":5800356,"id":"Q5800356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$CE9185B4-0AF1-44AA-9747-D4581479525F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c417924a46f5e00f10bb7b003d8951d6cdf42c1","datavalue":{"value":{"entity-type":"item","numeric-id":5596237,"id":"Q5596237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$DD5465CE-C8E6-4D85-95C3-6A6AA1ADC283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d219c6154bf9d779b1657cb8437b2a7b6bbe7c89","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$11DC4124-4007-4759-B3F4-56CEAF7970A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c39bb82c7ad8619c4db44c4fbacd33c61294433","datavalue":{"value":{"entity-type":"item","numeric-id":3897034,"id":"Q3897034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$75F0E57E-41A8-46C0-A1A7-EE40F355BF9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a5860719fee9ebb9cf0632e44166cf4f164f6878","datavalue":{"value":"10.1007/S10849-007-9051-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1006490$56087819-B4C2-4E4F-8AF9-C5FAD1E799FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0fa55d5312a1d70d4a3e8917164edba8e2a018","datavalue":{"value":{"entity-type":"item","numeric-id":3760521,"id":"Q3760521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d20402b9b4ac85227a8330f9304316b37eb2355b","datavalue":{"value":{"amount":"+0.7826483249664307","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":"Q1006490$4281D7CF-33CF-4D62-985F-09B873FAE8A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ba4920e4cd0070412225e45f447d2a5d262358","datavalue":{"value":{"entity-type":"item","numeric-id":3337453,"id":"Q3337453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a08ebb2a775adc9d5668a158ea6d8826bbb1b69","datavalue":{"value":{"amount":"+0.7658734321594238","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":"Q1006490$9CA88A1D-0D57-483F-9818-46DFCE903DE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b742c98ff4e0010d485574fa68aec43df1d78c2d","datavalue":{"value":{"entity-type":"item","numeric-id":4694253,"id":"Q4694253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80ac2bb73658de7da9779fcb0ffaff1552ce9de","datavalue":{"value":{"amount":"+0.7594454884529114","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":"Q1006490$5EC5CED1-EC61-4BB7-8A0F-6587A6FC2D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eca6bdd75bffa48d6296b7a7064943325a86d22e","datavalue":{"value":{"entity-type":"item","numeric-id":2711323,"id":"Q2711323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80ac2bb73658de7da9779fcb0ffaff1552ce9de","datavalue":{"value":{"amount":"+0.7594454884529114","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":"Q1006490$5DD370F1-B545-4273-AD51-9140DF150577","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be350057768a329d295f449f94de1d1300371bde","datavalue":{"value":{"entity-type":"item","numeric-id":2180527,"id":"Q2180527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae1bc4c95b0ae5597b1791594ff203a203bacb3","datavalue":{"value":{"amount":"+0.758307695388794","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":"Q1006490$756B5846-10F4-4C29-9F56-0D0CB4AC55B7","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"bee1ddd2bb542a0e64ca96574e4fab1bba361385","datavalue":{"value":{"entity-type":"item","numeric-id":57074,"id":"Q57074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1006490$0F0D849A-3797-4575-8B67-FDF991A502CB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Strong completeness and limited canonicity for PDL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Strong_completeness_and_limited_canonicity_for_PDL"}}}}}