{"entities":{"Q2931280":{"pageid":2942000,"ns":120,"title":"Item:Q2931280","lastrevid":58077609,"modified":"2026-04-03T17:24:00Z","type":"item","id":"Q2931280","labels":{"en":{"language":"en","value":"Abstract diagnosis for tccp using a linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6373661"}},"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":"Q2931280$45398C11-A937-49FA-BD02-9DAAA1769FF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc334523c31f4102c6f94f6b969be16b116f84e2","datavalue":{"value":{"text":"Abstract Diagnosis for tccp using a Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2931280$623D9226-C102-4EB5-88AA-F3648CA4F180","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f829e52881dbfb58066d76d6fe1e47dde7270ac","datavalue":{"value":"1307.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931280$08D92F79-08F5-4F74-A12E-10BA2982E731","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"929db708d59bf1c47322cac2e8de6f8bae6c04a0","datavalue":{"value":"10.1017/S1471068414000349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931280$1A8AF234-0121-439A-94B8-6AD18F938F8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f9f1daac5f8408a7f8a1e7936cd0e7aed962b33","datavalue":{"value":{"entity-type":"item","numeric-id":1630021,"id":"Q1630021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$B4B08730-24A2-4046-A5A3-A4B4C6F119A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36308e32b5a03059e4bfa8be66993d163941fc86","datavalue":{"value":{"entity-type":"item","numeric-id":2409735,"id":"Q2409735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$DFE224BD-F7B4-4165-A5F7-9D47E3095371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04735811f5f70f629ba4342ebdac125a1959371","datavalue":{"value":{"entity-type":"item","numeric-id":1274453,"id":"Q1274453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$A01552A6-143A-4080-87D9-32177555AD7F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$3DAD6F4D-73CA-49B2-B84D-9DBC62D5AC24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a882446bd128890a95a71deebb9cb2548da37a94","datavalue":{"value":{"time":"+2014-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2931280$B8E75E8C-3F18-4216-A632-0FF5BD964AE1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e2b431fbaa4f7bf12592a76574baa0ae6f4966ce","datavalue":{"value":"https://arxiv.org/abs/1405.3675","type":"string"},"datatype":"url"},"type":"statement","id":"Q2931280$6D658110-BC26-488C-B506-96F7EED932A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931280$72D72868-0B63-4341-BEED-BD6DBE6E2160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931280$3E7C9E66-337D-4E7C-A3C2-719D3D0952A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931280$73EFDAD8-5757-4892-A52E-A9F0F8A4A70F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931280$36B15227-7417-468F-BDFD-8F0BE5CAF552","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db10069e79724374dd65642507b41ef406ab587b","datavalue":{"value":"6373661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2931280$6EFBA5E4-EF74-451A-A9C9-DE5CA5779E20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd013f0cc2bd29a0983013cba5d16c43b8d4b2d8","datavalue":{"value":"timed concurrent constraint paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931280$23D829A7-5056-4A73-8C04-D637BCF5B0A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931280$23D30704-0834-4D90-B93D-498866DF14BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76513b1a554fb42351204632cafa6279bf79f2c5","datavalue":{"value":"abstract diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931280$43F18726-D0FE-4F75-9F8C-8C77D5EF9898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931280$776437BD-75CC-4DB6-B28B-02FDD1CA3751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2931280$BADB8978-174C-4EC2-8A93-C91AC5E9E383","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":"Q2931280$A302C39F-BC4F-437A-8300-40A158968763","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"727dfc8ab928c5b09489dbd3a7faea5bf51bcfb5","datavalue":{"value":{"entity-type":"item","numeric-id":3087437,"id":"Q3087437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$F5E78433-96CE-4019-A513-CD253FF37877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a496189b2c0d0db72b1b1548e59d07017b738a59","datavalue":{"value":{"entity-type":"item","numeric-id":1035676,"id":"Q1035676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$7605E86B-5F5B-44D7-9D18-71CF859394BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f70430c3dff48f1cb204a4703e1525912310298","datavalue":{"value":{"entity-type":"item","numeric-id":2576949,"id":"Q2576949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$3ACACD59-8539-4736-B841-DE6A6E39C454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5c09d8b4a40f211f4f694dbfb53598f56f1e4d","datavalue":{"value":{"entity-type":"item","numeric-id":5476390,"id":"Q5476390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$7E806917-3D97-40F4-8035-E3400F33DD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6f3b71c837403f4adab2f28f0c50acf7c1b7ce3","datavalue":{"value":{"entity-type":"item","numeric-id":4923526,"id":"Q4923526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$324510E4-C249-490D-A95F-69BAF0EC6404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58896131077e962d2f5cdffd0705f235c9780331","datavalue":{"value":{"entity-type":"item","numeric-id":1854359,"id":"Q1854359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$809AC78B-50E5-4F75-9007-74C482D97212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f8bb09ab76304140c85c8f415f1d416b85fe2b3","datavalue":{"value":{"entity-type":"item","numeric-id":1763732,"id":"Q1763732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2931280$89ADB94D-A323-4B82-B27C-CFDEC30969A2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcbf4e50914cbb565f82d58cdb307a543f119e26","datavalue":{"value":{"entity-type":"item","numeric-id":2849844,"id":"Q2849844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80dbfbf2d91d8336588e2ad79213d661b3b2173","datavalue":{"value":{"amount":"+0.790495753288269","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":"Q2931280$3B49D887-E68B-4889-8042-99417A665C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d3b273737663af00bb08fa4dae91aa53e4c475","datavalue":{"value":{"entity-type":"item","numeric-id":2576949,"id":"Q2576949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"798f786e84d4682b81ce6eecb75280ee152d6ddb","datavalue":{"value":{"amount":"+0.7867289185523987","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":"Q2931280$1BB52E52-1829-4724-ADC3-CE56AC657885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e8e16bcfa7d0d1b1535479f664109d58dd01aad","datavalue":{"value":{"entity-type":"item","numeric-id":4037084,"id":"Q4037084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a922732e02775fcd353b9d33472fae77777584","datavalue":{"value":{"amount":"+0.7553399205207825","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":"Q2931280$AEBDB26B-D827-474F-B484-5FC202E4D9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86018c92062ae9ea38970131fe75c27ef4bc1af","datavalue":{"value":{"entity-type":"item","numeric-id":3608660,"id":"Q3608660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db5eeb138b478449fea94d7463db7f899a60c2f7","datavalue":{"value":{"amount":"+0.7553397417068481","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":"Q2931280$06D8FBAC-B4FF-4AD4-83C9-E0FD655D9DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65c44c0e0c64b6fa8fe94ec4f8dc5662b949c20","datavalue":{"value":{"entity-type":"item","numeric-id":5476390,"id":"Q5476390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f7837cd8b913f83a95a24c32cb4191e8942e4d7","datavalue":{"value":{"amount":"+0.7519815564155579","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":"Q2931280$6C9EE421-FB1E-4447-82E9-AC7542D201AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2931280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2931280"}}}}}