{"entities":{"Q3647227":{"pageid":5677133,"ns":120,"title":"Item:Q3647227","lastrevid":87564683,"modified":"2026-06-04T12:00:16Z","type":"item","id":"Q3647227","labels":{"en":{"language":"en","value":"PDL with negation of atomic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640507"}},"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":"Q3647227$67D9643A-F97E-45DE-85B0-3400BC55FC93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b6549dbc8aa15e0fc8cf9d769f8c29d55d4f2c6","datavalue":{"value":{"text":"PDL with negation of atomic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647227$E47D47EE-627A-4FE2-BD80-534B9738A814","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d7f057e6c1a2bd6c45c1673f9ffb1d8d2b6799dd","datavalue":{"value":"1185.03058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647227$E01EE7C6-DFEF-4BB7-97AD-8AF9DF07CCB3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22db3ca50466332b07467138807079dd11905aeb","datavalue":{"value":{"entity-type":"item","numeric-id":420807,"id":"Q420807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$A6F6385C-7A2E-4D29-9019-11BFEECC4425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bd5fda30e97b95ac04e7ba16505b8fcc3a4cafc","datavalue":{"value":{"entity-type":"item","numeric-id":868029,"id":"Q868029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$586A18C2-08D4-47E3-ABD3-9233CCFB7460","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$D4417BBD-9073-4B77-8625-684C1EAEBCFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3647227$68E13B33-66F1-4CFB-81C8-0070777FB2AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647227$26F12F75-AC2F-4885-9910-2BDA2734D08A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647227$8248947A-01BA-4BBD-B0B0-53F0C24934D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647227$BE374676-737B-49B6-A66E-4D540E89BD89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647227$74D4F9F1-19CF-4C5B-A196-B35B8FE36656","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"becb1c8a8351ad7b5d2c9eed463676a520016a62","datavalue":{"value":"5640507","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647227$C3D500E5-5D88-43CA-8395-C389E2BADFDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a5eef9a7839e51aae1829128fd74061b3797fc5","datavalue":{"value":"propositional dynamic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647227$7CCAF507-336F-4A95-893F-7F13DF9766D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3dd11f8f4253d4b55b6d81e65608b5a3df250526","datavalue":{"value":"program negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647227$4705D015-3288-4EDC-BF48-1D8C1545E156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647227$0586B7F3-81D5-4885-AB4C-6A9FCDF87B32","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":"Q3647227$77F59C1E-980A-427D-B0ED-4869AD98E4E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e3dc8b17dadeefb8e9946649a2696fddee87fd6","datavalue":{"value":"https://doi.org/10.3166/jancl.15.189-213","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647227$0E522119-AD63-4786-9DE7-0D29F75598C7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ae75a5d84f0ccca68422e27169afa51f54c689c","datavalue":{"value":"W1995804042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647227$662FEAF9-ECCF-4614-9B1B-38068E52FAA5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$9C6DC629-974C-4CDB-9298-9350721CC3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cbcc765f9f07c024e67ad9893db7a89641bee96","datavalue":{"value":{"entity-type":"item","numeric-id":5465435,"id":"Q5465435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$8B72BDBC-A036-48D7-9DEA-F7BA6699B3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09f9138bb5bb1139c653151d39f306f368428d99","datavalue":{"value":{"entity-type":"item","numeric-id":3801527,"id":"Q3801527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$419BC17A-B7CC-4F92-8494-68BAE0453FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$0F34DCA1-A071-4399-B404-C4D758F2C2E2","rank":"normal"},{"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":"Q3647227$74435210-4387-4549-A77F-5589CCD7F688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3efaf7196a1042742f6796e8fe3994a0c6d9bad","datavalue":{"value":{"entity-type":"item","numeric-id":918533,"id":"Q918533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$6871D551-4226-419B-976E-A7D272C63240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$E68EAEF8-DE60-446C-919C-A5313F13911D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56b738565e185d3cb3d312011cb5a72967d8bc1","datavalue":{"value":{"entity-type":"item","numeric-id":1165229,"id":"Q1165229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$A27E9D26-8259-4CF6-B7C1-002B7D92B1CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e14cfc361f0a1b92d8539c762fe0b3ad4c1609","datavalue":{"value":{"entity-type":"item","numeric-id":809068,"id":"Q809068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$92D7631B-6D43-4610-95F3-82BAE06E10D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43223de18d43fc8f6be289157b4477ea602b8600","datavalue":{"value":{"entity-type":"item","numeric-id":1923832,"id":"Q1923832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$02E8EEFC-1D97-4F08-BCB2-11E5DC65F23D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647227$31C15A90-8D3C-4E14-A401-505188E15DAB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35f2ed2d7d21ef1620849f20377725ea0f3ab89d","datavalue":{"value":"10.3166/JANCL.15.189-213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647227$5264997F-2A3E-4DAC-A3EB-97D70361AAF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432547349cd9fee72bd28888518b32c35fb0ac2f","datavalue":{"value":{"entity-type":"item","numeric-id":5307064,"id":"Q5307064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a131ca4a9b188e189fda1d195f858183c60be9","datavalue":{"value":{"amount":"+0.998973309993744","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":"Q3647227$768BEF64-CD9A-49CB-B852-F8B56A52461E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5161e70e2a34646dd831d3da7f66fa24716b2321","datavalue":{"value":{"entity-type":"item","numeric-id":1065545,"id":"Q1065545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68cae729734cbcda8fac399417d4e8c306f776fa","datavalue":{"value":{"amount":"+0.8160572648048401","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":"Q3647227$B144A408-3D99-4E75-BAA7-5B34DF3C806A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"459889d5310106929d088e8b9b294423d01d5621","datavalue":{"value":{"entity-type":"item","numeric-id":2643333,"id":"Q2643333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb629ea28e928576beddef8b6aa1322ec2da3ab6","datavalue":{"value":{"amount":"+0.8144357204437256","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":"Q3647227$DAA01343-9606-4000-B36B-60D565E72A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8227c58f50fa9702c619efa5e6b3509692ae1975","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00273fab94a080164ad7fde4c495b228c8e87a4c","datavalue":{"value":{"amount":"+0.8137431740760803","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":"Q3647227$BA0FAA5E-6C8E-4FF2-A774-F0A70E91F53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4b8bae39ea3582b3d9dbc0059d40b3aef36eeaa","datavalue":{"value":{"entity-type":"item","numeric-id":801682,"id":"Q801682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73092a6eee523273db052d3f2bec6e93917580ca","datavalue":{"value":{"amount":"+0.799878716468811","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":"Q3647227$EC6ADEB9-C4AD-4C1B-9874-36256DC5C1CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"PDL with negation of atomic programs","badges":[]}}}}}