{"entities":{"Q2852029":{"pageid":2862749,"ns":120,"title":"Item:Q2852029","lastrevid":42271035,"modified":"2025-06-04T00:40:24Z","type":"item","id":"Q2852029","labels":{"en":{"language":"en","value":"Incremental verification for on-the-fly controller synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213643"}},"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":"Q2852029$04872715-7C57-46BE-A26B-3CCE09866D7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adac474078567fb982a28ea99efa5d7f3853a23b","datavalue":{"value":"1273.68238","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852029$8B7F90CF-4F40-48FB-9232-E75618D939E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e0524ee641095b659334a427cd501eac28f2d744","datavalue":{"value":{"entity-type":"item","numeric-id":2852027,"id":"Q2852027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852029$4601D929-86A0-4CB3-9E69-CA9B245D6643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de0e336bba1a011f9b01ef5bc1777348499de86d","datavalue":{"value":{"entity-type":"item","numeric-id":2852028,"id":"Q2852028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852029$BFB7FFF0-3638-4A5D-8CFB-760ADCE1E3C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3536163c2e413bd484c26f338e922b7179cb5cf9","datavalue":{"value":{"entity-type":"item","numeric-id":460628,"id":"Q460628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852029$AFF80E87-1F44-4148-8D0A-D88FA5D38030","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852029$1030E040-8A36-4042-B1FD-CDCF0D04A1A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2beb78dee73a7470df41c5cd7136f023f11a1a18","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000703","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852029$1E4CAC92-AD66-4A51-9CA2-B855F83E8038","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852029$3AEFD2BD-FBD7-4846-BCA7-F319AAB2326F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852029$60ED2E8A-7993-4C3B-9BA2-58A622F0F181","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b40957148b677afa60ff6d582d76b8df8c37603","datavalue":{"value":"6213643","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852029$97BD0E84-8BB0-43BA-810A-C3E8C52915AC","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":"Q2852029$2EA05C1B-4024-445D-B19D-190B5609BB45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071b73f3b07ef4f855ef764c5f3912c73fdc9bd7","datavalue":{"value":{"entity-type":"item","numeric-id":2335947,"id":"Q2335947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d560970dd0429708cf0b1920dd4ed35c7ef6d8","datavalue":{"value":{"amount":"+0.8994334","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852029$F79A56F1-CF75-40AA-950A-9373BE4778CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f480cecd189ff11edad0f3595808aab1632aad1","datavalue":{"value":{"entity-type":"item","numeric-id":4037115,"id":"Q4037115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bfd3caf29a295c025e7f25dc562e5dd96637062","datavalue":{"value":{"amount":"+0.8570579","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852029$C3BDCA66-6145-4DD2-A2FC-3496BAF10B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35d827d82ea15ecd9fe68a31e3576dee0375c87c","datavalue":{"value":{"entity-type":"item","numeric-id":3400913,"id":"Q3400913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b1d69bad9f5edb467c80be34cb8885836a18a8","datavalue":{"value":{"amount":"+0.8538964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852029$6BE02D16-9BB6-45C3-A868-7F2F89FDD7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6162fd6992b1106acd53b8e130c7b0a5f8c0b8","datavalue":{"value":{"entity-type":"item","numeric-id":3566992,"id":"Q3566992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b5ddea0a1538f1c095c5a095fafaa189861256ce","datavalue":{"value":{"amount":"+0.85088634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852029$1DFB438D-6EAB-4024-B1CB-48F56E4F78FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"949dd26dbac03e357010c06cd763e58f913607a6","datavalue":{"value":{"entity-type":"item","numeric-id":3190125,"id":"Q3190125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"356b6d2065f73b8e9a7adab8d0b4151980b58a66","datavalue":{"value":{"amount":"+0.8504743","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852029$479E877F-1E8B-4A6E-B2DC-3546EE01ADA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d929c50a7dbb0add8c99e9e2e2992d1548609923","datavalue":{"value":{"entity-type":"item","numeric-id":2303883,"id":"Q2303883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f48db98cd75767191860cf9572686fc23e521c60","datavalue":{"value":{"amount":"+0.84970003","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2852029$729104A0-4743-4929-8709-A695BB005788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"43010d4805ba6ca73f7693ba45fdd8d2d4a8fbcf","datavalue":{"value":{"text":"Incremental verification for on-the-fly controller synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852029$8B682355-5E47-4A93-B682-FD50283DD836","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852029","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852029"}}}}}