{"entities":{"Q4972731":{"pageid":7002310,"ns":120,"title":"Item:Q4972731","lastrevid":58368006,"modified":"2026-04-04T22:12:08Z","type":"item","id":"Q4972731","labels":{"en":{"language":"en","value":"The complexity of flat freeze LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7136659"}},"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":"Q4972731$A79B7572-B21F-4DC9-A7D5-6E92B3DB9DF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f0607fb66eb069e2db21b94403b98cd412e2aa01","datavalue":{"value":"1442.68101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972731$6BD53417-D092-4ACD-9330-F0DDD1010D77","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e56737504d3e232e158770e70208fe89b195e55","datavalue":{"value":"10.23638/LMCS-15(3:33)2019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972731$45AB5EA0-9032-4BE9-80EC-D1219A1CC9F7","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":"Q4972731$980CE493-C3BA-4D0C-994E-366065181053","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":"Q4972731$D01E8A9E-A4B4-4C7B-AF54-B2B01B2FB3AD","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":"Q4972731$0A06381D-9771-46DD-B691-8B8274AB6171","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fbafbdb1f99f69bc0ac1745c614aa03b0ae34444","datavalue":{"value":{"time":"+2019-11-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972731$815FA798-FF23-4523-B3DC-29DBCE27619D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"efb989b33ba9522694b09957dc0a2d20c8016e1e","datavalue":{"value":"https://arxiv.org/abs/1609.06124","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972731$23301B57-520C-4A7C-B200-E24D913AC66B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972731$FB650BA4-48F2-4B07-B548-F8E5F7237FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972731$F93A67C4-033A-47D4-A27E-D54E063F777C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972731$3AFC664A-30E4-4AFC-8A7C-39C91D56A992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972731$47BE2099-6C5D-4803-BAEC-6017F7B391B0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b046a34af0d6932c2454a38e2c751b63599e9fa3","datavalue":{"value":"7136659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972731$CC3C4DED-E1BE-4307-B2F4-1EE2F3D2EEA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d0376caf85aa1a227286aefd8a6a03d3ee7a698","datavalue":{"value":"one-counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972731$B2B59271-1409-489E-8424-47F179FEAECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aca14de8ab07e636788ee3f779a206e4d81d434","datavalue":{"value":"data words","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972731$782FDF21-7FB3-4B86-9B65-C8A0ACFBA69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"078c3fc86e0763f838e8737cff7399492e4b619e","datavalue":{"value":"freeze LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972731$244D7C7D-832D-4776-A58E-4675EFFD3D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972731$B18FF680-07E8-48B2-9DF0-060064D17B02","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":"Q4972731$CCB99978-3619-4035-9D3D-21E2B296968D","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":"Q4972731$AA0309E9-EF25-4D21-9C87-DD5542E0CA02","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":"Q4972731$36DD639B-8DE9-4CF9-B827-2C4CEC43599F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d475563753b2def66f50645b71310fdb957e1ca","datavalue":{"value":{"entity-type":"item","numeric-id":3449466,"id":"Q3449466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972731$7DFCE9F5-905F-484B-A5F2-FAA2B267305C","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":"Q4972731$F08E43D1-740B-4CFD-974D-E27A56718F2B","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":"Q4972731$69BACD2F-370A-45FC-944D-7860779BE6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d06ebcbd1fca545d7ff79c5c5a0e8647fa76157f","datavalue":{"value":{"entity-type":"item","numeric-id":5111647,"id":"Q5111647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972731$9F235AAE-3190-4A20-A3DF-5C6890DD481D","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":"Q4972731$EC7CF16A-65F3-40C1-BEC2-02FA352E7516","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":"Q4972731$F0330FDB-0319-478A-91B6-50130528D5ED","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":"Q4972731$F7E69EC2-7B53-4CD5-9B90-6874C1E52E98","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":"Q4972731$6E4574C9-D7A7-4CFC-B3AA-3155888A082A","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":"Q4972731$66F49501-E0D9-4341-AFBB-4DDEDA5F0B7C","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":"Q4972731$DC84E304-2CB3-4676-9010-E4173D84C301","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":"Q4972731$AAD9D346-25C0-42B6-9929-EC151CEAB138","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":"Q4972731$E168E777-6FC0-4661-8C58-8F6E41EC68C9","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":"Q4972731$044EF1B5-20A2-4581-8899-D87892B1F903","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":"Q4972731$DCC64F6E-D713-46E5-B0FE-EAEAB65EFE9A","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":"Q4972731$BEBAC8EA-F3B5-4076-AB91-AB98C35B6648","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":"Q4972731$53DBE7A3-DB22-4D3C-8F3A-A620674B1B4D","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":"Q4972731$ECFAFD4C-CD7C-485D-B149-CC51F32201C2","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":"Q4972731$33B67F14-B7CC-4CD5-BEEB-A0CB859DAC64","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":"Q4972731$0637CD65-7D9A-4FDC-9465-9EF82FB367E4","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":"Q4972731$B0BFB6D2-5DBC-4631-AB1F-D762CF5E40ED","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":"Q4972731$52341587-84FC-42D0-BFD5-9A8220B58EED","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":"Q4972731$854D1980-06C7-4AD2-A900-D85FE287015B","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":"Q4972731$F03F6D76-997A-45D4-9ABE-D320BCDD5E91","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":"Q4972731$6414564D-DE1B-4F02-8522-8C7867FF399F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e88d40ab1db699113936b3ebd67840361a8a3a4","datavalue":{"value":{"entity-type":"item","numeric-id":5111647,"id":"Q5111647"},"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":"Q4972731$70810AF9-1DBF-4CD5-A0A0-4C9F4B00C622","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":"b2fbb07bbf8057df5fe50bff86de8188be7f72ec","datavalue":{"value":{"amount":"+0.9135695695877076","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":"Q4972731$14D3C339-2829-42D8-B784-876821D344E6","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":"c5e35ec5624fe7307f6b38ed6c11a3887a1b5211","datavalue":{"value":{"amount":"+0.912339985370636","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":"Q4972731$A16F284D-1151-479C-861B-500ADA3BDF71","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":"6d052308cc37339f9ee9627e6e380df5cc11876f","datavalue":{"value":{"amount":"+0.8442316651344299","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":"Q4972731$77D65661-04EC-4A5D-8568-4D1F80DA5D66","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":"fa0a416845d89bae9da80823188c70bf5080e915","datavalue":{"value":{"amount":"+0.8156281113624573","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":"Q4972731$023B4B52-02CC-4D32-B062-7402B32DF4FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972731","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972731"}}}}}