{"entities":{"Q2900185":{"pageid":2910910,"ns":120,"title":"Item:Q2900185","lastrevid":51516401,"modified":"2026-01-18T14:35:36Z","type":"item","id":"Q2900185","labels":{"en":{"language":"en","value":"Constructive finite trace analysis with linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059081"}},"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":"Q2900185$B03B4EEC-C74F-426D-9749-6421E7CFD8CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16f72737b26e53f94fc162be82c9e4c6a7edc2b8","datavalue":{"value":{"text":"Constructive Finite Trace Analysis with Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900185$ACE7A011-0F74-40C3-985F-080AC00097D3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e86b7c28259d1cf6c279d9e2ecdb1e6ce965515","datavalue":{"value":"1354.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900185$F1F012B1-6ED8-4C04-8FC1-13CB5FE41B00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfe54eebef172dafa830aa2fccffd9e30fa45279","datavalue":{"value":"10.1007/978-3-642-30473-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900185$9C1DA172-430A-4D19-A969-141AB3AAE010","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"076d15404ba892d1a4e6d8a1fb0f94521495e82f","datavalue":{"value":{"entity-type":"item","numeric-id":1623114,"id":"Q1623114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900185$1D342B7C-9DBF-4D93-A01B-E97AEEDC7C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7975e324d6e21a8894ade0c426f57e6cc694f5aa","datavalue":{"value":{"entity-type":"item","numeric-id":2900184,"id":"Q2900184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900185$15A0F7F0-250A-4BD8-8DA2-B826ECE0078B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b59ea210f3608c8a62a77244182313fd466f62a3","datavalue":{"value":{"entity-type":"item","numeric-id":2827439,"id":"Q2827439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900185$F26629B5-1564-4C3E-AE77-F902B245560D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2900185$248F5DE7-E2F1-404A-A2FF-5D17B947D9E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900185$289D0866-0643-45C3-8A11-CB39CAF37F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900185$27BFF0A6-3C29-4252-A8D7-83575D79BD75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2473a72e6d7fb7f77d3b1ce0c2e7b204ce925871","datavalue":{"value":"6059081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900185$6E092747-F7C3-431C-A4E4-00A3EF72BE48","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":"Q2900185$A565E32A-B9DF-4A25-9B50-1DF71056CA68","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bd6003e8b13dd8fa6be2706e92564584cdd29f8c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-30473-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900185$779E2C6B-0D14-47E9-9692-4F181986EDE9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ab205fe19e3ab7bfc4815a9eb0af8422948648e","datavalue":{"value":"W73709024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900185$7ED54DB3-C52E-4C61-87CC-561BCC9163C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a97448d9771c3ea620f5e8ef997bb70f0c8d51","datavalue":{"value":{"entity-type":"item","numeric-id":1667649,"id":"Q1667649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e891b2c9232226755935f2ea3e2f78c09daf06df","datavalue":{"value":{"amount":"+0.8060480356216431","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":"Q2900185$2F731E90-06AB-4ACE-9B8F-11299B6F00C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e1c479b5a1f3ce95480850e2fe553d2eab2013b","datavalue":{"value":{"entity-type":"item","numeric-id":4472252,"id":"Q4472252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"572d5c6d74cc22f56e29f6198b50dcbff8eb6836","datavalue":{"value":{"amount":"+0.7698953151702881","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":"Q2900185$02257D41-7AAC-48EE-BA07-A62F711DBFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3383aee9a50302aa883ab2b30b18bea8e0a22854","datavalue":{"value":{"entity-type":"item","numeric-id":5283016,"id":"Q5283016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2152c0336f76e51b381f5de2a433666ea5e584bb","datavalue":{"value":{"amount":"+0.7464591264724731","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":"Q2900185$9E68727F-263B-40BC-B552-071A77A55310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8e09fa57aeb1f55298b6eec616fc70403b45775","datavalue":{"value":{"entity-type":"item","numeric-id":4558796,"id":"Q4558796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcfb23a2e307b2cf0fd5a42fb3e598a3d8d28bc5","datavalue":{"value":{"amount":"+0.7455168962478638","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":"Q2900185$AD404735-B6BE-4E7B-BEDC-147D223F5589","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99f6204b2340f595a57420f4d2f0d6e141efbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4982126,"id":"Q4982126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df4a90accb4e3b9a8bec3e57bda94a567088de5f","datavalue":{"value":{"amount":"+0.7433841824531555","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":"Q2900185$FEAF97AE-D4DC-47DF-B58B-A3D457DB71C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2900185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2900185"}}}}}