{"entities":{"Q3023541":{"pageid":3034257,"ns":120,"title":"Item:Q3023541","lastrevid":45282100,"modified":"2025-12-04T05:19:35Z","type":"item","id":"Q3023541","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2186294"}},"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":"Q3023541$638EDF74-3B01-4B1F-9811-1EDBD40A56EF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1ff84080562d7ecb0dc16cd96adfba0a2c49c4d4","datavalue":{"value":"1090.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3023541$D5E4DB9A-2B9B-4221-89AA-A00480753C8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4ec6781aaf52ba28014d9ade37521fee8bad32d","datavalue":{"value":{"time":"+2005-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3023541$13225536-FDA0-4392-B766-DDDF2E2EC336","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3023541$530A001E-93A9-430E-8157-4EDB612E1576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c4048aa565ff5bc0fb785289d76a3cea432032","datavalue":{"value":"60K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3023541$11451118-5AD5-45B5-97AB-FE5A15CEDCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6a9ff1a146ff44dca747e334413377c148d2df3d","datavalue":{"value":"60J20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3023541$D8239333-035C-4D81-A4B3-8E3C09E783F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3023541$7AD58604-465A-44BE-A839-602E8B1472FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3023541$F8C8A9CB-1416-4128-B4B0-5A13B3CC51CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f10ff9aa10d2948d6479522137e83b3d8114f87","datavalue":{"value":"2186294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3023541$75A5A8AC-A365-4161-BAA7-E8F67191D716","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"182ec1f62fcf3a5fe855e38c10946d8ce278f5b6","datavalue":{"value":"stochastic Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q3023541$E038E3E9-9D3E-4D69-844F-488D8DBD8C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3848acdc3eda19099d891709c1886e25e7054028","datavalue":{"value":"invisible transition","type":"string"},"datatype":"string"},"type":"statement","id":"Q3023541$C4401DE3-5B8A-4282-A8BA-7916A74EDA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df22115d1594fe386f6ec9265062a741d80ab52c","datavalue":{"value":"interleaving semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3023541$678493A6-2E29-472A-8347-3F4E57CB3C69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b95e2dcaa560e6825f9757fbafaeb76a1d41a9e9","datavalue":{"value":"step semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3023541$0970E9F7-B2D3-41FC-8568-096D5E2AF8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3023541$6F370B80-4E5E-4D56-9D52-5C054715A2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3023541$DB601F93-3422-47F4-9CA8-D9ACD2A4EA3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3023541$59665B42-8371-4277-B654-9087F476C7D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4081d6701b894804b32bfecf5d9bc2d10a18c41","datavalue":{"value":{"entity-type":"item","numeric-id":1798122,"id":"Q1798122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3023541$742FB9B4-A356-452D-A1A8-4725B5AF9AF4","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":"Q3023541$F314CCCD-4434-4357-A4E1-7E113F48851A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11cdf29caa07a9f843ffa8b503d3b8cda24aa5e","datavalue":{"value":{"entity-type":"item","numeric-id":5758058,"id":"Q5758058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e3732300934b3c4846677ff2d897ec3a2f82ae","datavalue":{"value":{"amount":"+0.9397769","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":"Q3023541$51848FFC-80BA-45BE-A91A-5976DA58449A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0509920ed35473137dcf14232b632bcc1341c04f","datavalue":{"value":{"entity-type":"item","numeric-id":4535031,"id":"Q4535031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d159431ff00f753bf111152d153c604f9636947","datavalue":{"value":{"amount":"+0.9304321","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":"Q3023541$19FEDB55-D363-41E5-8882-B188B55C2E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c486602f8336e7d9263d4bd03c9eda9f18a3336","datavalue":{"value":{"entity-type":"item","numeric-id":4608588,"id":"Q4608588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b87d1fc2fe8a8a3339dda29f75c3bd8ecb8e163d","datavalue":{"value":{"amount":"+0.92499864","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":"Q3023541$0EF8A077-2A23-4E20-9C35-05F0B3834A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563362faca7ecb977ddf3d4d44c3d3ac88865357","datavalue":{"value":{"entity-type":"item","numeric-id":1731513,"id":"Q1731513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4a740b6a38b07ee46cb21834b7dbe2b310f6a4b","datavalue":{"value":{"amount":"+0.92132735","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":"Q3023541$2846D86B-8C33-41CF-9388-1DA0B8D00635","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc503710798dfad31246259e053fc1ef919bfdef","datavalue":{"value":{"entity-type":"item","numeric-id":2946567,"id":"Q2946567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f69876be63a48bc675ba19353313f201d977d9e4","datavalue":{"value":{"amount":"+0.9210544","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":"Q3023541$ADC41FD7-425C-4F74-98E2-F552EACB8D3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04c1a7680e7f73ce02e4c3cb29d850db36f407c9","datavalue":{"value":{"entity-type":"item","numeric-id":2996139,"id":"Q2996139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7579abbacab2e99a03dbe72f6565bc9af7d55302","datavalue":{"value":{"amount":"+0.9200555","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":"Q3023541$92E8E9DF-DE36-4A30-A015-9B7DB2A1637D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25605c5c874dea6835fbb39a15699dab8225375","datavalue":{"value":{"entity-type":"item","numeric-id":2988377,"id":"Q2988377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ef8f970355e374cfce38abdabc719e443a5189","datavalue":{"value":{"amount":"+0.9153595","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":"Q3023541$1A1ECEE1-424B-4CAC-AECE-84750E54D9A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f25a83d5837b7795d35bccc383385e16a7a70b18","datavalue":{"value":{"entity-type":"item","numeric-id":2495642,"id":"Q2495642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7379bae9e792e1f5ad616d984059f0eb89cfe67f","datavalue":{"value":{"amount":"+0.915228","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":"Q3023541$2DC7344B-3632-4CEB-BCD0-B75632FC4554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8057bb398b1c5f07ffa0950f909340ef88658f9","datavalue":{"value":{"amount":"+0.9102395","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":"Q3023541$628702BE-8558-4D5B-90F6-D15D7FE0A428","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3023541","badges":[]}}}}}