{"entities":{"Q5392294":{"pageid":7421868,"ns":120,"title":"Item:Q5392294","lastrevid":41581810,"modified":"2025-05-06T02:14:05Z","type":"item","id":"Q5392294","labels":{"en":{"language":"en","value":"Take It NP-Easy: Bounded Model Construction for Duration Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5876519"}},"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":"Q5392294$54B6162C-6E84-49C6-956D-C61F5EAB4396","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7d3ecd7ad0dfaa4ed2a65f4a0eb3fea73b9d217a","datavalue":{"value":{"text":"Take It NP-Easy: Bounded Model Construction for Duration Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5392294$EB58449C-1823-442B-9129-914DEC1DE709","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5d55ed1883898aedc33a4d429e1cc80cac873c0a","datavalue":{"value":"1278.68170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392294$847BA1CF-FDB4-45FC-9CF2-ACD4AAF3401E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73b0e2a4d186205189812535177e4625a31c3458","datavalue":{"value":"10.1007/3-540-45739-9_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392294$F0556B84-167F-4C63-8652-70492AFEF56B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a014e6ba9fde789e090c1a340d6af73ab4b427b1","datavalue":{"value":{"entity-type":"item","numeric-id":394331,"id":"Q394331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392294$2E1560DC-EDC2-4D05-9C60-9340E463AE5F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5392294$CDBCDB1B-32A9-4FC0-8F26-33F058848FB8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1beccbec989ffb1c4fd65076dee92c66a4eff836","datavalue":{"value":{"time":"+2011-04-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5392294$83810268-7B23-4B58-8CEE-41FB5B3B2395","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392294$200796C4-5DDA-4503-8B36-6362591AAEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392294$59B9D9BB-D414-4DEF-9A26-112A4BD5CEAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392294$AE85FAC1-DDB1-4606-A6AC-A2EBC17402A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf2c5a774b1fede49513d1b694e2c5921393d713","datavalue":{"value":"5876519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392294$47A7187E-8F5E-4106-BD0C-95A2F96371C3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a363b4f28f326393b54bd8a47ff350d7291174e5","datavalue":{"value":"discrete-time duration calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5392294$B3C0D561-94D7-4C1E-994E-59DE84D423D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9147733faa695fed81c2d875b84ade06f21bacdc","datavalue":{"value":"model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5392294$3B9B112B-8643-4516-9F9A-932587043D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"018b016fc901e07eeb60580e77af0a07ae021558","datavalue":{"value":"bounded model construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5392294$D2CC7C3B-1090-4F55-8809-A3EB63CF2EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5392294$1A0EFA56-BD3C-4464-A6E2-2D187FEE1642","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":"Q5392294$88A04028-E3A0-4A0B-B0B4-821C1D03F582","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d74cf57b3e53c6b0933fa56fa5b06c110db2abfe","datavalue":{"value":"https://doi.org/10.1007/3-540-45739-9_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5392294$F069DEA5-1B78-4BCD-8970-8FA7C19CB28F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dbad32ce62ec28776f61e6d84212cccd189d6f09","datavalue":{"value":"W1514882327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5392294$5977993E-D766-4898-AFB7-AD3A41F083CA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77fc515ec118b932f1c95ee27e047198bc63c138","datavalue":{"value":{"entity-type":"item","numeric-id":2986927,"id":"Q2986927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50447bec0729687699db21f519fe6b6cb6c1e58d","datavalue":{"value":{"amount":"+0.84179705","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":"Q5392294$A4BB27B7-6013-4079-BE3A-6934EDBD299F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f9927f0421bf529efcf533a43d93a69d61eedc","datavalue":{"value":{"entity-type":"item","numeric-id":557828,"id":"Q557828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15091c108761a36510a0fd6c9463ee7b471a465d","datavalue":{"value":{"amount":"+0.8350409","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":"Q5392294$8F6F707B-406A-45C8-B0DE-C4D0BFE68AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dddb1dd25312b54ebcb25f4f52cf2f9073cf1e63","datavalue":{"value":{"entity-type":"item","numeric-id":3525159,"id":"Q3525159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3262bd095f6603592e80cce2d9f9a74b1c08fbc0","datavalue":{"value":{"amount":"+0.82967496","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":"Q5392294$52CE519A-798F-456C-9B1F-C2F84328EF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e46a0604fb9bac91230e8357f3fb88a6ea4c2819","datavalue":{"value":{"entity-type":"item","numeric-id":939170,"id":"Q939170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3262bd095f6603592e80cce2d9f9a74b1c08fbc0","datavalue":{"value":{"amount":"+0.82967496","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":"Q5392294$323715B7-C60B-416C-B506-6FA4C57EC1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7c06a08267e0242ba28bdfd7a27ad345155a8c8","datavalue":{"value":{"entity-type":"item","numeric-id":2251131,"id":"Q2251131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c48ee5e93b2a16bd1324540125cf874c69623e7d","datavalue":{"value":{"amount":"+0.82623255","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":"Q5392294$CF30D979-6BA8-4F58-9011-DC7806F0F24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fcb1599131076bfedba58f7d7e635d32940532e","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4bb0a7c814ae5b7ca836f35663e8a6d939872e7c","datavalue":{"value":{"amount":"+0.8252865","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":"Q5392294$776A3052-7C6E-4E4A-B638-CBABB3845D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"792d46bae06adf410cac7ca0835bf7600cc9e4c3","datavalue":{"value":{"entity-type":"item","numeric-id":868026,"id":"Q868026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38f2c488f2ce9029caadd6c9c18f6d93e2b247ac","datavalue":{"value":{"amount":"+0.822654","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":"Q5392294$0A6A029F-3FC7-4D89-B052-CFD81C7BADBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c83ced78b071a13c98c89e2d16c858cbf0a602e","datavalue":{"value":{"entity-type":"item","numeric-id":2867952,"id":"Q2867952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2564d06a0be2a39a483d48bc3355bee884297c44","datavalue":{"value":{"amount":"+0.82086533","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":"Q5392294$E3445509-55D4-47EF-AB86-AB4B4A2E2197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557fe52cb2d789e27e0fa76724761dbafd3d5f21","datavalue":{"value":{"entity-type":"item","numeric-id":4647584,"id":"Q4647584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3730ca40b522820d66ae20c469f20748ae7ff214","datavalue":{"value":{"amount":"+0.818707","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":"Q5392294$86323294-09DF-45B9-906C-AD3E5F3A8929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d06ef52f8c3d2c0d30d1725aa130d4bcd231f59","datavalue":{"value":{"entity-type":"item","numeric-id":3526931,"id":"Q3526931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4992bc5d89f7f8e3cd060b2faed70bff5fb4394","datavalue":{"value":{"amount":"+0.81802857","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":"Q5392294$8C14E260-CEFB-459C-82F9-9FF684C40A80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5392294","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5392294"}}}}}