{"entities":{"Q2814121":{"pageid":2824859,"ns":120,"title":"Item:Q2814121","lastrevid":83561537,"modified":"2026-05-07T08:55:16Z","type":"item","id":"Q2814121","labels":{"en":{"language":"en","value":"Selected temporal logic systems: an attempt at engineering evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6595031"}},"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":"Q2814121$48F31B4A-96AD-4196-BE8E-722ECF47A632","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"85bb6f8d7dbaf936d4f188439b31245882046543","datavalue":{"value":{"text":"Selected Temporal Logic Systems: An Attempt at Engineering Evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2814121$C755939D-3DED-438A-93C2-B1EFA9C27D7E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f29b30746ca5d12b59631545d17546157762c4e","datavalue":{"value":"1358.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814121$2A23CAA7-78DA-4396-AD08-1E4CA114F1DB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95786fc9eed252606510e48809ae274082fa7040","datavalue":{"value":"10.1007/978-3-319-39378-0_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814121$8CB50E0B-A5C9-4F12-9E1C-72A126E527FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"05a1c07216c35cf7cb6f7785cfcb73a91c1640aa","datavalue":{"value":{"entity-type":"item","numeric-id":2814119,"id":"Q2814119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$CA5A8746-2748-493A-81A2-B27F3AB2D031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8bf515a6216cc6f1284e702b937225b9483bcd1a","datavalue":{"value":{"entity-type":"item","numeric-id":818318,"id":"Q818318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$EE84DD9C-5B88-459A-89FF-49F4C0E7BF70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf81d0d888b6d361b079c832d009257a47f23c10","datavalue":{"value":{"entity-type":"item","numeric-id":2814120,"id":"Q2814120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$73D38DA5-C868-4C05-B466-A016768E06B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cca3f7eb2eab298216313925bcd6ed4b4da86434","datavalue":{"value":{"entity-type":"item","numeric-id":2814116,"id":"Q2814116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$7F0C7A16-DDE4-40E8-A94F-E4809CF702C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c31e552012427c3e62f18a09181317c2bfb4828","datavalue":{"value":{"time":"+2016-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2814121$84A422FA-5574-4D69-864C-CADDB2B7B4AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"46ffee837b0dbcd63fffc2834ebe2705f88e57be","datavalue":{"value":"68T40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814121$A9B83236-D164-44CE-B102-425E78BD4BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814121$479E8EF6-F19C-47A6-AD41-686B06675774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814121$3BE69E7F-EBC5-48E7-BFDB-BB5B210E6000","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96923b2ee21b8f18f4844e282dfcdfd9183ad76c","datavalue":{"value":"6595031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814121$F8C7F23E-DD2F-4DAE-A9EF-B867F5437FF7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814121$0F98DA7D-B9D2-4F7A-824D-0F55E6E3A876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b3bc7fe0500a87504d4d751a6b5519f99d39c15","datavalue":{"value":"fuzzy-time tempora logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814121$1B85B21E-E7E5-45BB-AF2D-519F2BACCE98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f62afc9aa55be01120e9ef0aa3f1adf5249e87e","datavalue":{"value":"fuzzy linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814121$EEF6B2B6-5216-4A57-9D9B-74D4D84E77CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ffb2039b3808f75db59ba92e2df794b5cb9e529c","datavalue":{"value":"engineering evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2814121$6E3F365E-A79B-47CC-AB01-38427730C896","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":"Q2814121$06B865CA-C5F1-4328-9CF4-4E226FD02718","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ff656a718788c7c66d254875e38cafc75236b07","datavalue":{"value":"https://doi.org/10.1007/978-3-319-39378-0_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2814121$E55929C0-F783-4FF6-AC57-6F31494F74A9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1478fc4defd111e2d988ee8cd10b83cb20f39844","datavalue":{"value":"W2488286927","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2814121$A40A603E-1D38-4DAF-AE47-62BCB0DC5B30","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$11EF28AE-8F8B-4B13-9096-5381E440229E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce585837a919025fa0560b9c65a92d28da1c713","datavalue":{"value":{"entity-type":"item","numeric-id":1978242,"id":"Q1978242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$9D6C1FF8-7EB3-470C-A15D-C9DD48234AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$ECB4E75A-98F3-40A1-830C-0463F974AE57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be30b8293c6abc6be5e34e36fa72af8dfc73e699","datavalue":{"value":{"entity-type":"item","numeric-id":2946742,"id":"Q2946742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$D194E88F-13E5-4C73-B36E-76796EBBB4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$14F0CCE0-F51B-4F08-A6C1-133DC5D5B10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$853DF3D8-C0FB-49E1-B997-49B848C51144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8baa86406be9b32217750895bb62951e8e9510ff","datavalue":{"value":{"entity-type":"item","numeric-id":2814135,"id":"Q2814135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2814121$62399DAA-E3FA-4A3B-9103-134ABA183E11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614b064ec471731561043922786ea0fab5bd0fc5","datavalue":{"value":{"entity-type":"item","numeric-id":2814135,"id":"Q2814135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40583b410d178a5c516d33f6bb222f3951ddd5e","datavalue":{"value":{"amount":"+0.8504259586334229","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":"Q2814121$1CF62D7F-217E-4E13-B673-78741929D417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0496a7e3aad23b09d910df97b7b385335edf42","datavalue":{"value":{"entity-type":"item","numeric-id":2353964,"id":"Q2353964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7a722932722d914576b77426a37bf0ca78106ae","datavalue":{"value":{"amount":"+0.7712156772613525","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":"Q2814121$4F42B377-102D-440C-8593-D32C8AE4326D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754212b00930fa9bd62404914d4aff6f7825fcf3","datavalue":{"value":{"entity-type":"item","numeric-id":3373937,"id":"Q3373937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aeb9033f3193a86356fc775c901ddc7716725acb","datavalue":{"value":{"amount":"+0.7613476514816284","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":"Q2814121$6F28A84D-5CC4-4798-BCF8-8CAEAA684C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf7b31e9b1c2e4e340a6add092f493b386f90695","datavalue":{"value":{"entity-type":"item","numeric-id":2946742,"id":"Q2946742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"018b4d9ce416133d99c60d4173dc4591207cec82","datavalue":{"value":{"amount":"+0.7491365671157837","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":"Q2814121$DA0EF4F2-F8EE-4574-B198-445A46BBAF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ce57215a636957850d360622ebfeb9ccc4ab48","datavalue":{"value":{"entity-type":"item","numeric-id":4733378,"id":"Q4733378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc4b764988b54538794118bf76ff59d3e59e48b2","datavalue":{"value":{"amount":"+0.7413529753684998","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":"Q2814121$6B597709-80FA-4C85-8044-8F7BB07FB11D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Selected temporal logic systems: an attempt at engineering evaluation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Selected_temporal_logic_systems:_an_attempt_at_engineering_evaluation"}}}}}