{"entities":{"Q2811345":{"pageid":2822083,"ns":120,"title":"Item:Q2811345","lastrevid":58018491,"modified":"2026-04-03T11:38:13Z","type":"item","id":"Q2811345","labels":{"en":{"language":"en","value":"On freeze LTL with ordered attributes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591825"}},"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":"Q2811345$F8AF4552-1361-497A-90F5-DB56E293CEDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3c56e8d89a4b8ad87c038cfe799593f0dc4f3db","datavalue":{"value":{"text":"On Freeze LTL with Ordered Attributes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811345$F371EB25-6B91-4BE0-AA55-4C091ED115E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e605758e63fd293e8798ea4999e973198d0cf2ca","datavalue":{"value":"1475.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811345$36F41558-0F0A-4442-AFC3-853C16369372","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d7ee055b6cd4b0482075117d62e900015ec40a3","datavalue":{"value":"10.1007/978-3-662-49630-5_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811345$20893D41-A2AA-4B5C-BDC3-D23C839A0B3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5631fc133a3ba8e4c40c540ccfe813b71c12dd10","datavalue":{"value":{"entity-type":"item","numeric-id":2287112,"id":"Q2287112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$9879E0C9-BD21-4742-AE07-0BB701D8AD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"344e138dcade4311a766bf320a077241e4da0ab6","datavalue":{"value":{"entity-type":"item","numeric-id":2811344,"id":"Q2811344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$7714D4CB-4DAE-49B1-AA36-DE5F5E20223C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$34C8A569-F2EE-4119-B7EB-C3BA0773D5BC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811345$EDDE97C5-90B0-4958-A1F6-DA6DBBFEB497","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3908bbea030695684e14634fc929689d185c1a6a","datavalue":{"value":"https://arxiv.org/abs/1504.06355","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811345$714EF030-1827-4435-9C33-2CBDB1CD4FE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811345$4C09C3DA-DA8B-40B0-B070-B069585A9162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811345$0E9300D1-8101-472B-969A-3F10B3346143","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33e9b8ef117aaa89fbd5936503a1f499882f2a1a","datavalue":{"value":"6591825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811345$4F6B04C1-286E-4AC5-A9F3-BFEDE5256357","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":"Q2811345$5D348385-5199-4DE8-BD13-1F6332DC2A55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c1d8057b4867e84c4e8e00c02cadbe6ddf993e09","datavalue":{"value":"W825655794","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811345$69BE4666-9CD6-4864-870E-0F7C05E2C3C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$E7D1AE51-5CB4-4D5E-91F1-272885AF29A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fa17cfb0c3b1bd6e8adb2797151d49839d70ab","datavalue":{"value":{"entity-type":"item","numeric-id":3525617,"id":"Q3525617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$874E5CF2-6053-411B-A90A-48A4FBC1B1E7","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":"Q2811345$93A75E61-A5C6-4258-A6F7-4B88F604ED23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a95fe2cd88f9c0798c5d594bfeac31bf8068c0","datavalue":{"value":{"entity-type":"item","numeric-id":3541029,"id":"Q3541029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$9DB6C083-962A-431F-9D4E-A61EFC2F822E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"633fa92e858a340ccee89edd220e0d818a3e76b8","datavalue":{"value":{"entity-type":"item","numeric-id":3190138,"id":"Q3190138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$0F81DCAD-B1BC-4679-AD38-FCFEDD6DB8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b7a7ca28fe5dfe5806a083091f02bf0a675792","datavalue":{"value":{"entity-type":"item","numeric-id":5271038,"id":"Q5271038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$FE5B6D58-C67B-4E3E-8209-7B9E6F3EC45D","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":"Q2811345$FCBFFC74-CB14-4188-AF96-5E62D7CAABAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"063ef552d100c0083ba89f17521c382cb80929e9","datavalue":{"value":{"entity-type":"item","numeric-id":2881089,"id":"Q2881089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$856CAE9F-63AF-42CB-8CD8-CA7BA20EE1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5445f7af0f9161d03fe0b5ba44e8232112c0ee60","datavalue":{"value":{"entity-type":"item","numeric-id":4796461,"id":"Q4796461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$78E3CCF1-D6F6-470E-AA66-0E3EA7D584C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$976B6E36-AE2F-4B34-BD86-BABFC612B42B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46489bdb74fb3bb340e7eb1f078967c9c0bebd3e","datavalue":{"value":{"entity-type":"item","numeric-id":5892062,"id":"Q5892062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$2BF81ED2-C103-4B18-866A-F2916788C7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"645f01aa1359288a3beb20e956bad5cd0e9d3ca3","datavalue":{"value":{"entity-type":"item","numeric-id":2908879,"id":"Q2908879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$B13905FE-3849-4032-8E75-EC3F26D5A10F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c2680f3fafb4a787355e6a43785c9ea8be7a01","datavalue":{"value":{"entity-type":"item","numeric-id":5386001,"id":"Q5386001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$237ADDF6-3C9E-4424-A298-B34E665459DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af45ca233c37f8dd2da1d8ff39f5cfcad1bdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$6CB8942C-5B70-4E04-9B16-266C47DAB566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d0c67f8326c13fffd8d9f0dc11e248e212cd0b","datavalue":{"value":{"entity-type":"item","numeric-id":4511269,"id":"Q4511269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$6C1371B7-DC10-4867-86FA-96B4E27DB7B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c625d35a92166fe6ece626f2265a36634febcda","datavalue":{"value":{"entity-type":"item","numeric-id":529043,"id":"Q529043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$CDB80C5A-D556-48DE-8E5E-CEFE52C3F4BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3feebf644fbf5979d96664f07d862fbfe8cc287c","datavalue":{"value":{"entity-type":"item","numeric-id":3586117,"id":"Q3586117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811345$BFEDAEAC-6856-4A6E-8C7B-3835DEAAEF1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69491bb3c6a3cd8e15ae8642b2477425f088e928","datavalue":{"value":{"entity-type":"item","numeric-id":2946574,"id":"Q2946574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7791e7fe88d7dafa5e7043c1c126b53fcc6f7bd","datavalue":{"value":{"amount":"+0.8446639180183411","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":"Q2811345$93C8191F-BCB1-4B40-ADE8-9A6811A866C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d565c72247ad5a56d38206a6e1db40562b58f495","datavalue":{"value":{"entity-type":"item","numeric-id":5386001,"id":"Q5386001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2453bfb26bc6b938f8cb8a8862c3dd6cf52cdb22","datavalue":{"value":{"amount":"+0.7933976054191589","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":"Q2811345$6BBE064F-15C0-4EDF-9B2B-72368CC933DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3ea73a6bb72e4971eff6a59ae5f4aa21b64d42d","datavalue":{"value":{"entity-type":"item","numeric-id":3190138,"id":"Q3190138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8fb803884e1df797f7fe8e65d6d7a7b6c57b817b","datavalue":{"value":{"amount":"+0.7911005616188049","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":"Q2811345$28E66C46-5923-4F6B-ABDB-9EE7548E1BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4524a6d99869235f2d3a92e9a944d04a15fd4b7e","datavalue":{"value":{"entity-type":"item","numeric-id":2908879,"id":"Q2908879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8402d1071b99d8a26d7b834e82a388db7d12e80","datavalue":{"value":{"amount":"+0.7701900601387024","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":"Q2811345$0ADA38BA-5693-48CC-840A-5C3CA92CF57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b7f39777b14bb4b340081697cb5b95a9f241d0","datavalue":{"value":{"entity-type":"item","numeric-id":3182936,"id":"Q3182936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c420746c97de65bf4527fa9a4328a3b4a068cb9","datavalue":{"value":{"amount":"+0.7565343379974365","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":"Q2811345$9033EAA7-3D6C-456C-AE49-0EF34A03EA8B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811345"}}}}}