{"entities":{"Q2368993":{"pageid":2379736,"ns":120,"title":"Item:Q2368993","lastrevid":43966383,"modified":"2025-11-18T14:32:38Z","type":"item","id":"Q2368993","labels":{"en":{"language":"en","value":"Specification, testing and implementation relations for symbolic-probabilistic systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5020392"}},"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":"Q2368993$D6633921-FD6F-4A83-A705-0FDF1C0EE18C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df7bcafc6329623e046a4269c5f8a292404c41b3","datavalue":{"value":{"text":"Specification, testing and implementation relations for symbolic-probabilistic systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2368993$FF561312-95F2-4FF5-9C00-27FFE9C143FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"07a88419cc09cb5a859c6e2fd30828e06e3c2b6e","datavalue":{"value":"1088.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368993$1C4D5A53-9E18-41B7-B27A-E98B26979803","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de876e17cffa41c1a61541ef46defe01df488614","datavalue":{"value":{"entity-type":"item","numeric-id":1882803,"id":"Q1882803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$063EE740-9CED-40DE-90D9-D22C25E4664C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cd6de6e29d4d04eace6f20fac90455e00f4e2d2","datavalue":{"value":{"entity-type":"item","numeric-id":470033,"id":"Q470033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$1477887C-4A10-44DC-B626-80071631373A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2267c0d7803054a939dd364a049c2079139de1f1","datavalue":{"value":{"entity-type":"item","numeric-id":234007,"id":"Q234007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$28F3F0CC-B1A1-42C1-8C17-43299B933023","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$7C9E2996-B879-491C-86F5-8846F2D02508","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8728e91b2b3c919aca654c671fc4eed9ec21fc4b","datavalue":{"value":{"time":"+2006-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2368993$627D6C5A-382B-4C66-8088-CCC2B1A9A8C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8d8a22ace48964288ca1ed080fca5299ff532395","datavalue":{"value":"68M15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368993$FF034F7F-0BD0-4B07-B8E9-6DA8A9FA5AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368993$7D278CF8-8777-4166-91EE-7101A41D8D55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8dffdbc3ce3c115efae11a7b852145b1fbf88860","datavalue":{"value":"5020392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368993$1EBEC70B-7F14-481A-B7B1-9FA1F60CF6DB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c2c7e0ea8fcf489a32728d34e39813b68f1f998","datavalue":{"value":"Symbolic-probabilistic finite state machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368993$B3FE14D8-00C6-4CB5-9935-F46818113856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db71d18441deb33ccaaca70caf31c52eed8a44ad","datavalue":{"value":"Conformance testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368993$FE19D9C7-7099-40B6-92E7-C8445B917E16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f2a4074f10bf01b2973ec635c81f5864434eb85","datavalue":{"value":"Test derivation and application","type":"string"},"datatype":"string"},"type":"statement","id":"Q2368993$BA437DFB-FA72-44AE-8CD9-BA8DCF2EC908","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":"Q2368993$14122FE6-24E9-410D-BE1B-4A8183D81895","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f9ce3a4e19e529f0dccfadecca09437525c0e60","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.10.047","type":"string"},"datatype":"url"},"type":"statement","id":"Q2368993$F5E968C5-0CE8-493F-9943-7FB65F10984B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cc3680c8452f4524e523f3934be6cab4d26107a9","datavalue":{"value":"W2012948837","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368993$99B9D2E8-D7C2-4070-83C2-BC7CCB20D018","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd9d64b884e9d9cc0f3addb629ebe46d62b6bdc5","datavalue":{"value":{"entity-type":"item","numeric-id":1847280,"id":"Q1847280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$FD457EE7-E4A4-4EAC-9699-31E09570B6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e910305139e3b0c5739eae6d1ad9548f45d6910","datavalue":{"value":{"entity-type":"item","numeric-id":1853593,"id":"Q1853593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$E97B999C-F73B-4B84-AAA4-2BD88E1E7ABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bda40cac342e87132cfd635691d9fe3d6e0d21d8","datavalue":{"value":{"entity-type":"item","numeric-id":1400156,"id":"Q1400156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$3A75D503-B839-4727-8CFE-11C5E59E215A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8abc2120959d494e9ab3121d3b96b6cd93de7992","datavalue":{"value":{"entity-type":"item","numeric-id":1854314,"id":"Q1854314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$4B03322D-CDA1-4C4C-A6B8-AAA1A0AEC6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90eec147673342a728814a618b57b3a6770e5135","datavalue":{"value":{"entity-type":"item","numeric-id":2760249,"id":"Q2760249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$1C33CE0C-D504-40EB-BFD7-A384C1697476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$B832AFA0-C9CE-47E8-83D6-C15BDD4D62C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c038b8dac9451f007d0167ee6a8b5f37a4c69a0a","datavalue":{"value":{"entity-type":"item","numeric-id":1898113,"id":"Q1898113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$F66151E3-2F31-44DA-BD07-788BA55E1A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$58D31850-089A-4FBE-8DC0-0CB80333AEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa72f87654ba7f41667d5c3d8d163316ecad186","datavalue":{"value":{"entity-type":"item","numeric-id":2760248,"id":"Q2760248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$A9310D20-7DAB-4276-BCDA-4C241C19C25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$D4F5E9AD-B653-498E-8462-D5411BD8D5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02132666cb7e562c7dbe7a32314369e65d4016e","datavalue":{"value":{"entity-type":"item","numeric-id":5325835,"id":"Q5325835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$26349C39-C7D3-41BD-95B2-1706E822E368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9865764b97421c76d405a42fd8f5ca1ed23a8f65","datavalue":{"value":{"entity-type":"item","numeric-id":5710652,"id":"Q5710652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$6DD3051C-9E2D-4C68-BE54-488203C35A1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e65c1704f58a496aa3a5b3c1177e4bf0614cfce","datavalue":{"value":{"entity-type":"item","numeric-id":5394050,"id":"Q5394050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$2639BD69-63DC-46AC-B136-CA3665BBBA4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0193418f916e9f7f0c7d8969c6fc34654bb6b99a","datavalue":{"value":{"entity-type":"item","numeric-id":1400293,"id":"Q1400293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$AF210A57-5BA5-4519-B2B7-AA4316E90257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf7ec5551a9c2c6954b9443c0afe9bfaf43606a","datavalue":{"value":{"entity-type":"item","numeric-id":5900959,"id":"Q5900959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$969ADE08-2542-4996-AFC7-ABB6DE020A7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$EEFE5D83-0E13-4E54-B914-2776F18CB694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e90b06dc09635ec46f478c48bbbb678633ef1dbc","datavalue":{"value":{"entity-type":"item","numeric-id":6104379,"id":"Q6104379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$E65EB94B-16CA-411A-870D-57F6B76EADF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"169a8f1ab63405de983c0f19123ff20897de98a6","datavalue":{"value":{"entity-type":"item","numeric-id":4449196,"id":"Q4449196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$FD1A606A-889F-4B91-9A8B-D60A58E9DB65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5d1339d549b96e80a33fa65a771c80afc759cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4896913,"id":"Q4896913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2368993$6D60559D-FD1C-40BE-B87F-DCD1D46688E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7bab095b5d4c9caf938a1e2cda8c01519d5914e6","datavalue":{"value":"10.1016/J.TCS.2005.10.047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2368993$D9B08556-F44E-45F4-8546-0C287238AA7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6aebcddd29533b2db84a12415f9ff59dec8565b","datavalue":{"value":{"entity-type":"item","numeric-id":5710652,"id":"Q5710652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb2f2479954d2c6d76f3f5f0f96ac14be87f4cf8","datavalue":{"value":{"amount":"+0.9548588","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":"Q2368993$D15D8AD5-673E-4A8E-ABD9-782409FAFE4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"316e169779209314b98988fb5a645134d5b4f0d0","datavalue":{"value":{"entity-type":"item","numeric-id":5394050,"id":"Q5394050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a703c027d5f1a17fdd22291cc00e42648a4b6278","datavalue":{"value":{"amount":"+0.94462895","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":"Q2368993$84E51881-210E-410F-8764-FFE7B19B44BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89da0729a847f4865c3e8aa8ea876ecab447aae1","datavalue":{"value":{"entity-type":"item","numeric-id":4571974,"id":"Q4571974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"575090fc59b808be57a14552974bb24991443b8d","datavalue":{"value":{"amount":"+0.8934611","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":"Q2368993$264A8A50-E991-41DA-B8DC-CDB88A17C7A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c73374baa6b72c5548685afb86533a508fd57d07","datavalue":{"value":{"entity-type":"item","numeric-id":5170746,"id":"Q5170746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"815e3f9abb0a068f54b87738c8541e84aab44697","datavalue":{"value":{"amount":"+0.88965297","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":"Q2368993$68688D02-04EE-485B-BC39-45550DFAD545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"533e03b077719a689a43bbc99530ad874ff549f5","datavalue":{"value":{"entity-type":"item","numeric-id":5899038,"id":"Q5899038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12b36be2c152ccc6abdbbb777e67cb0e6607688f","datavalue":{"value":{"amount":"+0.8878068","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":"Q2368993$A1D87DA0-C2CF-4509-A709-83F8AFE0357A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad2432244288313a894ee17cc37193992c15014","datavalue":{"value":{"entity-type":"item","numeric-id":5325841,"id":"Q5325841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679a5f08aabba6396e0783ff5d64758ca27a880c","datavalue":{"value":{"amount":"+0.8839248","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":"Q2368993$23A3DA9D-50A4-41CF-9829-9E6BC06A532F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2188222fe8e7c1a625ec376c75529c1fb193f043","datavalue":{"value":{"entity-type":"item","numeric-id":1990523,"id":"Q1990523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1e90d695087531f2b41ce7ccc6f32aee8592d59","datavalue":{"value":{"amount":"+0.88075423","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":"Q2368993$FE6FA151-CB82-448D-8178-8CA5BF26D47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"966a5e6fa7d33fe4c55bc35929d8e539b4e986c7","datavalue":{"value":{"entity-type":"item","numeric-id":4535035,"id":"Q4535035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c8022b080eeba2c2046ac76cc189558aefeb7e8","datavalue":{"value":{"amount":"+0.878935","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":"Q2368993$AB29A18C-24C8-4D9F-B9DA-5A3B161A9419","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2368993","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2368993"}}}}}