{"entities":{"Q3457786":{"pageid":5237186,"ns":120,"title":"Item:Q3457786","lastrevid":88245356,"modified":"2026-06-04T14:01:06Z","type":"item","id":"Q3457786","labels":{"en":{"language":"en","value":"Fast debugging of PRISM models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6521671"}},"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":"Q3457786$40F49598-9D05-4771-895F-9799066BFDAD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cd9d5fc64df420b051493d76cf50f64e051d1846","datavalue":{"value":{"text":"Fast Debugging of PRISM Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3457786$D333CFB3-2ADF-45F1-BD0F-2445F52F9E30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a0e1c286d0b0233e84d266aebc04c670beffb4e","datavalue":{"value":"1448.68295","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457786$9F973986-67D7-4842-8DA8-60D7D859FE31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a03194358055b96edb4cc56237c68966351515f3","datavalue":{"value":"10.1007/978-3-319-11936-6_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457786$59BC7038-D7B5-4956-9201-79297E1BBF78","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2634230b4a5c67f8e36e75a9d2aac50da7c4b8a6","datavalue":{"value":{"entity-type":"item","numeric-id":1990498,"id":"Q1990498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457786$2130E846-E5B7-4419-BFE3-8A07E9725D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc3636d4eb9483884cb439da1e5812c56aac88c1","datavalue":{"value":{"entity-type":"item","numeric-id":402122,"id":"Q402122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457786$01ED47B8-4B7C-44D6-8103-0857FCE46A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c827a3a38a662dea5f87c90599612538f5739678","datavalue":{"value":{"entity-type":"item","numeric-id":402121,"id":"Q402121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457786$8B466AA2-B646-4B64-A6B8-23FA6C31705D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03595cd73b96d5b235024b2e19a251d81caed080","datavalue":{"value":{"entity-type":"item","numeric-id":402123,"id":"Q402123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457786$F7D038F3-1952-4FB8-AFFC-7910320FCA9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7022a72b5bacc0b67ba4ac59d1d6bc736b6252b","datavalue":{"value":{"entity-type":"item","numeric-id":236073,"id":"Q236073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457786$99DC60AD-AF72-4ECA-ACDF-0A3F9BC6AC36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457786$A0EEACB3-2E6B-489A-BE88-CD4E13A7CD5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8c8c48ef6ed00faaf912c712c5311b1d94846d86","datavalue":{"value":{"time":"+2015-12-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":"Q3457786$30D6CD6C-A4B7-4E27-9F0B-0B3C5BCD0523","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457786$C34E5798-238D-45F1-B423-FD06155940C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75131a6e0e7d7d08507c00325bef3fc7ac18e5db","datavalue":{"value":"6521671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457786$32B57AFF-EA1C-4417-B384-7FDA9AC33F7B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457786$6FF1CDCF-8886-498E-A075-F2E2128E64F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457786$1ABAA8BF-EA95-4263-B941-E945D4A1FD86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457786$74969A43-5D17-4272-91D2-062E9E58F11F","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":"Q3457786$3D612517-BD4C-4439-B56A-842EB2765664","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ca90e55a955982677f64c3218f731e0f04ebf4b","datavalue":{"value":"https://doi.org/10.1007/978-3-319-11936-6_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457786$2E0C26CB-1E97-4DBD-B8C2-E17A11ECD3A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5574725d056608239e63080fe90fd98cadbf2003","datavalue":{"value":"W134581040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457786$37B89BC5-29D8-46A9-9414-4B88C2670FE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff46f45ee151efcabf95a53dee8f1b1163eb3008","datavalue":{"value":{"entity-type":"item","numeric-id":5246720,"id":"Q5246720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c5fb35229aba996e3bdf2aeeffb26b3f5adb854","datavalue":{"value":{"amount":"+0.859455943107605","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":"Q3457786$CAD4B41C-7885-4AE2-90B0-DB2FE631B7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"331a78c998c85878ef9877d179957ccc909188ae","datavalue":{"value":{"entity-type":"item","numeric-id":6488104,"id":"Q6488104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10998a9d822aaf6a584c3ac6bfc13be115036d01","datavalue":{"value":{"amount":"+0.853204607963562","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":"Q3457786$B3FAEAEB-0CAC-4623-BC4D-43A5BB4EBAA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019c172bac747ef3d1e978cbd02c4bc8bb2758e3","datavalue":{"value":{"entity-type":"item","numeric-id":6136744,"id":"Q6136744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aa2657bafea118b0292c8742c9363b1cd159711","datavalue":{"value":{"amount":"+0.8157738447189331","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":"Q3457786$75B88DAC-4FB5-4D8A-9EE7-9EDA531A15C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b28be15f4094b77ff04345904a366f4adf8cb9c","datavalue":{"value":{"entity-type":"item","numeric-id":4472227,"id":"Q4472227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce3e76db60a88a50ab8552137ee8aacb826f37c","datavalue":{"value":{"amount":"+0.796967089176178","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":"Q3457786$9B798EA2-43D3-479D-8D36-AC9DE790DAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead8601a13b0a78410559e032867c7833a65ca0d","datavalue":{"value":{"entity-type":"item","numeric-id":4738778,"id":"Q4738778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d388b293292c9a8566bf89c2d3d687527f65c22","datavalue":{"value":{"amount":"+0.7944706082344055","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":"Q3457786$DDEF7739-0B19-4E1A-AF41-C08D6F814641","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Fast debugging of PRISM models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Fast_debugging_of_PRISM_models"}}}}}