{"entities":{"Q3564892":{"pageid":5594796,"ns":120,"title":"Item:Q3564892","lastrevid":50993711,"modified":"2026-01-16T03:11:30Z","type":"item","id":"Q3564892","labels":{"en":{"language":"en","value":"Verifying complex continuous real-time systems with coinductive CLP(R)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5712495"}},"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":"Q3564892$0F1190BB-C91E-48EA-AD3D-F04A9D82917D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82e0e0c845e5eaf0f4d7349cef3ff4ad4b9d60cc","datavalue":{"value":{"text":"Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3564892$2246544B-0A25-4707-8EA2-E8743BABE135","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ecbf8583a50ac5941565d3cfeaf564177551021","datavalue":{"value":"1284.68365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564892$BA29DCA7-0DFB-4A19-A76A-59B19DCCA6AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b74601fc7a76c0c7ab52e699d171c47abf3d2d10","datavalue":{"value":"10.1007/978-3-642-13089-2_45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564892$0CFF79CA-032A-4B3D-8510-DFEF493B6627","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"412b5a81d3856c0049eaffb7f777fdbc9362e75f","datavalue":{"value":{"entity-type":"item","numeric-id":2038028,"id":"Q2038028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564892$AB26C064-19A0-41F8-A7FD-5F3065A4E8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d1065bf5a79a6e3399944e23126deafc1dd756c","datavalue":{"value":{"entity-type":"item","numeric-id":1209355,"id":"Q1209355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564892$F7035DCB-17E4-4B5F-B1C6-95CCEC37B18E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0685e722024dfab8b1c6ee631b614ae84196cb3a","datavalue":{"value":{"entity-type":"item","numeric-id":2798705,"id":"Q2798705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564892$914481B0-8AB4-48DA-9C14-C45245517189","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"42e10e35ad52bbf92f1ddeac6dedccab922b34f1","datavalue":{"value":{"time":"+2010-05-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":"Q3564892$3B4BC1E8-229F-45F0-84DE-8CDD25ED950B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564892$12F213A1-D3E7-45CF-9346-100917D58E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564892$FA7A43E6-4385-4E96-891A-C56BF22B36F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564892$DBB00E17-6DBE-4FB8-BD16-C8BFEDB897BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"575d33bc27a142061aced961444c755c32ef4e1c","datavalue":{"value":"5712495","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564892$1398928F-F828-4BF0-8FF0-0E81CDA6FB71","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3564892$40CEE6ED-2ECA-47C6-B56B-A26542519079","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":"Q3564892$55D621E7-2405-44C7-8559-37F0C81C1259","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c87901d9bb4e46539a9f98c6223724d2cfb7cbd","datavalue":{"value":"https://doi.org/10.1007/978-3-642-13089-2_45","type":"string"},"datatype":"url"},"type":"statement","id":"Q3564892$5DC5A08D-DC61-42AD-9399-DD16F36B068D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ee2ebeaf375d0929bc4219f6069a2815851ee35b","datavalue":{"value":"W1799344754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3564892$1207BD17-558F-4065-996D-FBE857172C7F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e4e69134ba57300fd43b47e1897bec75442d1b6","datavalue":{"value":{"entity-type":"item","numeric-id":2767090,"id":"Q2767090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"084b297dced86e51fe81f4084dcc6eceb7313692","datavalue":{"value":{"amount":"+0.7829661965370178","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":"Q3564892$1A0DF8A2-E0D3-4EAD-85F8-F7D4BEBBA077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9495214c1f1c6a46ce1664363f2d1fb3d2861847","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5719a1713f0c7ee1241d2e4484e1df4e96e93df","datavalue":{"value":{"amount":"+0.7563230991363525","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":"Q3564892$8D94324E-CD27-45F6-A3A3-1256BBEB05F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f495519515e1628f9a248a48e649826be8777494","datavalue":{"value":{"amount":"+0.7538872957229614","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":"Q3564892$7E9742A6-9745-4E6D-8BC6-CFEBC8D110C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0865e85dc0bfe21a7343698e2009603ea2c0aa3","datavalue":{"value":{"entity-type":"item","numeric-id":1589585,"id":"Q1589585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5afa822dc9dda9ceebc3dd705c0692b4b3ed7144","datavalue":{"value":{"amount":"+0.7487450838088989","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":"Q3564892$27D98CA7-B9B9-4A42-AF78-B8E5B60FCF5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6c8b90eb301d8de7ca8866c5a116646ef9cc423","datavalue":{"value":{"entity-type":"item","numeric-id":548704,"id":"Q548704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb12e517ed3db5c79462a8ef3f4068a52637f127","datavalue":{"value":{"amount":"+0.7447881698608398","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":"Q3564892$ECCFBBCD-1881-4C51-B63A-21F0B4FCF659","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3564892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3564892"}}}}}