{"entities":{"Q5111647":{"pageid":7141221,"ns":120,"title":"Item:Q5111647","lastrevid":55949140,"modified":"2026-02-21T10:40:04Z","type":"item","id":"Q5111647","labels":{"en":{"language":"en","value":"The complexity of flat freeze LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204950"}},"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":"Q5111647$19E423D9-020F-4897-A5E9-20DD39300A66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3fae37387edd799f66d9fb6ba3cf7adc75c3f5f","datavalue":{"value":"1442.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111647$4F844A90-9D0F-41ED-B160-4C7592C87A28","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65221e215393442395d12a6532e173c4dee8b90f","datavalue":{"value":{"entity-type":"item","numeric-id":420854,"id":"Q420854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$7C9EE395-4B5D-405F-A12C-F9370ADE6DBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ac1f415631a4eb910cb7254df99f703f97084f4","datavalue":{"value":{"entity-type":"item","numeric-id":548691,"id":"Q548691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$AA549F87-8139-4AC0-A22D-498FD9CB72D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19e3b17c47ff1724d3fa8b0c056814a8c6ac414c","datavalue":{"value":{"entity-type":"item","numeric-id":896911,"id":"Q896911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$94DA5749-BAAD-4EE1-BAEE-F93025FF5385","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111647$447345BD-BE57-4CFB-969D-AB995B9F3114","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111647$8E6F74E9-5579-4522-AC40-518AAA4C14F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111647$652B5ED8-2232-413C-BB69-C12D05FE5321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111647$6F7ACE58-2061-4A7E-8935-CEC094565864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111647$75F580AE-4DD4-40BF-A559-8C4086760D4C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87ac4a917b6b37b616fe4ebf0eb2d933d4679c22","datavalue":{"value":"7204950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111647$131248E1-0B98-44EB-B006-7EAB6B09E65A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0376caf85aa1a227286aefd8a6a03d3ee7a698","datavalue":{"value":"one-counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111647$3FAB2F78-9DE0-4F99-8197-A8C0369684EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"078c3fc86e0763f838e8737cff7399492e4b619e","datavalue":{"value":"freeze LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111647$F37B2C99-36C7-4B97-86BC-A17A5BDE0D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111647$5ADE7781-68B6-40F5-8899-8FBE97F13D01","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":"Q5111647$1C866FC1-ECB4-4885-8B7F-43AE82324A17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"16d61f723e180032c8f96d830c1d2c0623e46165","datavalue":{"value":{"entity-type":"item","numeric-id":5416741,"id":"Q5416741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$B1257828-F212-4F1F-9749-17DA524779AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$77409525-71D5-408A-957E-3F3DA67333DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bb4a91e9cc7eca8e9ff5f00e4ce6d5e415cf749","datavalue":{"value":{"entity-type":"item","numeric-id":2946646,"id":"Q2946646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$2123529E-610C-44E6-98E0-565A237EDD81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc469c4b64939fa3213fd5c9dd72bc911bc54d8","datavalue":{"value":{"entity-type":"item","numeric-id":3519496,"id":"Q3519496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$D4BE28A3-EF8B-4080-B147-DD32BCFF1F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c44aa82d83f0c7bc5c59f30b4bc65d87c7eafe0","datavalue":{"value":{"entity-type":"item","numeric-id":515666,"id":"Q515666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$B5A80EE4-10D1-4BBA-A2F6-881625774B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eb95117e247464fd508808171f7c004f37e96ff","datavalue":{"value":{"entity-type":"item","numeric-id":4412840,"id":"Q4412840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$5477BDEE-5C30-4092-9C2A-985BF7B34A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ee9246f6d31df8e6ef9a2a4d199037289def53c","datavalue":{"value":{"entity-type":"item","numeric-id":2753678,"id":"Q2753678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$535E61F7-2A88-4501-B401-C7B7BC6841BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f81881a5b3db4992d864f3635d02218f3e50f285","datavalue":{"value":{"entity-type":"item","numeric-id":5505555,"id":"Q5505555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$C7FF9730-DF07-45D7-B7CE-0B8D0543357C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4310221850ee50b50f7dcfe7875726d390b1992f","datavalue":{"value":{"entity-type":"item","numeric-id":3656780,"id":"Q3656780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$84FA37D5-46EE-47C6-8FF7-4C44A203902E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bd9f617f964b140076535652ec49e453f6eeae6","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$06C1EB13-05A8-4E94-B541-057C9CC24D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f377a748ee0a448bc0e22cb6ba09ac101b59b17","datavalue":{"value":{"entity-type":"item","numeric-id":868025,"id":"Q868025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$F03D9FB1-1AFE-494B-BAA8-9B7BB638123D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03d1a7ee0c4683019f3104f8d1625843e5d7b9a","datavalue":{"value":{"entity-type":"item","numeric-id":974117,"id":"Q974117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$0984E398-7BCF-4ED7-8254-B9D15836D652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db4deea9f256e8069d3dd7f638eb6d88198bc76b","datavalue":{"value":{"entity-type":"item","numeric-id":3557850,"id":"Q3557850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$6075E618-2686-4D37-94BE-A9DC1C9FC39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15829e9d12c1ae3d0647f723aaf878c118e2bb6","datavalue":{"value":{"entity-type":"item","numeric-id":5327435,"id":"Q5327435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$FA6C5DF1-6555-4170-AA7F-C76E7524D6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa105eef7b4ccf6d7c383778c2c96dca1400d7e1","datavalue":{"value":{"entity-type":"item","numeric-id":1216952,"id":"Q1216952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$8BB3D8B8-8BE1-4270-A77F-45219A5FE581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ea12e2bb542bcb72994272c82dff7d6f50346ad","datavalue":{"value":{"entity-type":"item","numeric-id":3587469,"id":"Q3587469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$05410908-98A5-4093-8960-870F769D7978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2e0f72372efe1eb598fd4bd21cc20b8872f096f","datavalue":{"value":{"entity-type":"item","numeric-id":2892786,"id":"Q2892786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$C576AECA-419B-446F-BEB1-EAD317B90BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"383e561ba133ae6ce11804c4d67fd1c4dc389c29","datavalue":{"value":{"entity-type":"item","numeric-id":2848205,"id":"Q2848205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$3EABADF3-B001-4AEE-A500-5FD9A7666AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a521f54a7c14150a5df9a9e9f1892234d1fe0bb","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$125F8AF3-E9AB-4A9F-99A7-8DBFB046CF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2152f9e5d1f62518acf18a879dbd70a10bc26df2","datavalue":{"value":{"entity-type":"item","numeric-id":2800968,"id":"Q2800968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$55295E8B-EA52-4273-900F-0254D9EC9CB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2de91ecb193514088bc3752dcf7515e5158d8d0a","datavalue":{"value":{"entity-type":"item","numeric-id":2754072,"id":"Q2754072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$0135E1B8-23C3-473A-8C4A-48110CBDFEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fc3dc957309bb9042121e42e12f8ed44caf1ebd","datavalue":{"value":{"entity-type":"item","numeric-id":5703858,"id":"Q5703858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$67C8ACE3-0192-43C2-9114-390800BAD1EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9386eef636bca0b039fc892f6a62f1fea259408","datavalue":{"value":{"entity-type":"item","numeric-id":4608681,"id":"Q4608681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$F0A0B9C2-D6F7-4E9A-B1DF-C0F82A65EC17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5b8d231dd75703dab184a9e4819c4bc38b5e15b","datavalue":{"value":{"entity-type":"item","numeric-id":5899098,"id":"Q5899098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$A3EECFD1-D66A-4895-A1AE-6FC394E8B123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"202fa537549d862287e8c72112377f480beedfed","datavalue":{"value":{"entity-type":"item","numeric-id":1218272,"id":"Q1218272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$062F3C9B-3D58-4F32-BFBD-923C929AB52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111647$7CD64F5F-1AB3-4CA8-B9D2-CECE6C4015C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0b5fcde1b73b8761e47af12d4223c6fba3d45b6a","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2017/7799/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111647$043FC40E-493B-4B62-BC0C-F098C9941A22","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8459534930978b7c5a9ce25adaa54b71ec40e60a","datavalue":{"value":"W2963712282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111647$CC34A1D0-37A7-46F3-A7AC-D41D9970901A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"362302f541b9647d35aafa6414c000e6c7f39e9b","datavalue":{"value":{"text":"The Complexity of Flat Freeze LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111647$760B32B1-7086-4DC7-B397-DA088D18F188","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdb03562415f8c4b1f501fa89cac3d2a29e609d0","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111647$DA35D268-B6C0-4C14-9657-981C68EA89CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1df37e9cf5b92ba225c505b860d887f9dcd0cae1","datavalue":{"value":{"entity-type":"item","numeric-id":4972731,"id":"Q4972731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904732f7c7ee922d23ea1e8ed4e987dc7b9ed1b9","datavalue":{"value":{"amount":"+0.9754353761672974","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":"Q5111647$2719B1F4-7150-4BDC-B650-0BC296D41766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be8cbf928feffb76cc44ea7b95f610896e92008d","datavalue":{"value":{"entity-type":"item","numeric-id":4608681,"id":"Q4608681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd70e2ea1228ac45017cf868baaf213412d431f7","datavalue":{"value":{"amount":"+0.9161081314086914","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":"Q5111647$36ACA746-4B10-48EA-B260-90569810DA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39a76d343dea9ac18eca9ab0f6101093d5a9b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":4611376,"id":"Q4611376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17cf06381918c78425bd3592dcae0f8bc49f9341","datavalue":{"value":{"amount":"+0.9142658114433287","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":"Q5111647$6864FBEA-6059-45F5-8034-14C44A2C710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e75e552613afbb24fb2f822c3d51e8039103f331","datavalue":{"value":{"entity-type":"item","numeric-id":5458381,"id":"Q5458381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"134de85daa0a0e3a786967cec00af5a1a5988cac","datavalue":{"value":{"amount":"+0.8539829254150391","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":"Q5111647$F5E46860-7313-4759-83E2-6002E6AF4130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7330a355d93008a9d961612dd91e6bf9e88f017a","datavalue":{"value":{"entity-type":"item","numeric-id":3557850,"id":"Q3557850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b63537c2865cd62337c29c72208cc22785ae68e3","datavalue":{"value":{"amount":"+0.8279574513435364","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":"Q5111647$41AF7E0E-05CD-4DE3-8E0B-57F0D61B8E50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111647","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111647"}}}}}