{"entities":{"Q1758678":{"pageid":1769420,"ns":120,"title":"Item:Q1758678","lastrevid":70839963,"modified":"2026-04-13T17:36:59Z","type":"item","id":"Q1758678","labels":{"en":{"language":"en","value":"Formalization of semantics of systems with unreliable agents by means of nets of active resources"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6107872"}},"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":"Q1758678$BFAC641D-BAB7-48E5-87F5-19E917223E64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d11a8e20b1347f437b9e558f7fa3dfc28d03b19","datavalue":{"value":{"text":"Formalization of semantics of systems with unreliable agents by means of nets of active resources","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1758678$5CA5C95F-BA97-4284-A13C-9CD5BEED58A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c42015466363ad94da4c1b63ef03d04d02abf140","datavalue":{"value":"1251.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758678$030F44CC-20B7-4CFC-997B-29ABB9A27A9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e34664618f96f3d4c3aff4551143036d2be3492a","datavalue":{"value":"10.1134/S0361768810040018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758678$613305D0-20D7-47D7-8E2B-57F99C37027C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b7cc9cd5cc7a92274ca6227a1c32481c3d87997","datavalue":{"value":{"entity-type":"item","numeric-id":174522,"id":"Q174522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758678$16A81412-BF89-49CE-A135-CB1DB323B2C4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758678$9A4B85F2-BDFF-4D87-99D1-EF267CD67796","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16d9ed1da0749c54273c05a4ba5499c71e474aeb","datavalue":{"value":{"time":"+2012-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1758678$B9D6CE0B-2944-490F-88EB-F76C2C9589A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758678$00DD8BB6-A8B5-422C-8A52-F4D708DF8A0F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c4c3f20b9ba98c98c2914d80cca35ba82a8538a","datavalue":{"value":"6107872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1758678$EC5515D3-1D1F-48D4-A08C-FA080CDB0B44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16806c5c458d959ad291366891dbfeec6f50651c","datavalue":{"value":"modeling of distributed systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758678$D250F278-C5A1-4AB0-AA00-36A98B68892C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9218d366ed5685cc40099ba18b69ec315b15ee9a","datavalue":{"value":"nets of active resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758678$C77D0D9A-740E-4EF0-98F4-8276C67C4102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758678$29E5371D-6AFE-4127-B39C-4F9D157FB2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"453dffe903df1c5b47c9d810948be9e5b7d261b6","datavalue":{"value":"agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758678$4EE12F4B-41D1-4257-88FE-B3949D683A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09a4d1df3248b5d4a0c18f406a6ed3603fb9672e","datavalue":{"value":"resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q1758678$07E90F16-04DE-4EF3-9BF6-96F79EC0F870","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":"Q1758678$BF5427C3-C052-4287-97EC-AE6351B42A19","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"37753c66891fd0c127b5b6fea375a1cdd7f4c989","datavalue":{"value":{"entity-type":"item","numeric-id":3425598,"id":"Q3425598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758678$16908242-7BFD-4291-965E-9C62EAD858FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae3a9d6ccf8de789cd305b27b6e6069a5b760913","datavalue":{"value":{"entity-type":"item","numeric-id":3766863,"id":"Q3766863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1758678$CDC7BAA6-36F9-49C5-81E0-C1B61D77F437","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f32a169e936239e50ec722a44d38f11be2ad9e66","datavalue":{"value":{"entity-type":"item","numeric-id":464873,"id":"Q464873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b09dfdb711ff1486a00fdcffa1636adb356e566","datavalue":{"value":{"amount":"+0.8463867","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":"Q1758678$ECB27292-319E-4B85-9519-16B175D69B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56a41bd364839a2a7fe17958c3fe5b558bc3b486","datavalue":{"value":{"entity-type":"item","numeric-id":3188235,"id":"Q3188235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ad9ef8403e327b10a6b64cfec14b6a01d1059e7","datavalue":{"value":{"amount":"+0.84483296","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":"Q1758678$88884075-84A9-4731-AE6D-D543C85AB103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ce66b2124fac2dba105993fffe4889b32b4eb92","datavalue":{"value":{"entity-type":"item","numeric-id":5049036,"id":"Q5049036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d42f3936436c7b7c7180b7576e94a2a01aaaf1","datavalue":{"value":{"amount":"+0.8423687","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":"Q1758678$BFBBAB60-4106-4849-8A2B-41E4B0B46521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a271ef6c3abafb73500061015691b1cd9b4862b5","datavalue":{"value":{"entity-type":"item","numeric-id":4507821,"id":"Q4507821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1da5c703524f0d8e482d73786156f7135bb355bd","datavalue":{"value":{"amount":"+0.834262","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":"Q1758678$BB5745F8-1996-4A0C-8929-E225CECAC451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d1a2655aa8a92326b5185b2a825ddc547870d4","datavalue":{"value":{"entity-type":"item","numeric-id":5200869,"id":"Q5200869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02161e37b06ffd3230973250416b0ea87beef49a","datavalue":{"value":{"amount":"+0.8320811","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":"Q1758678$2C796E80-50D8-4C92-ACEB-0679245AA523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeb5795ba47e213466bd77701f5e7bee976c668c","datavalue":{"value":{"entity-type":"item","numeric-id":6156941,"id":"Q6156941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"002bd0384e7bb710cc19a18e0ab14c6fc8d85bef","datavalue":{"value":{"amount":"+0.8299888","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":"Q1758678$D01222AE-61B0-42FF-98FF-8273FC348FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f551c23a7226007c1e5db2ca9b4921b6a972a50","datavalue":{"value":{"entity-type":"item","numeric-id":1914039,"id":"Q1914039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda1c58efeee0bc27b6c72525f4c3f0a2e194a26","datavalue":{"value":{"amount":"+0.8285073","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":"Q1758678$611E3243-61A0-4BFE-9AC4-70567C2BD819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1669a77051742fa72019dc598b9b5157f80d1f82","datavalue":{"value":{"entity-type":"item","numeric-id":2026803,"id":"Q2026803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b9c5e8071b27e9249b58a05e58c4a39ea0125e","datavalue":{"value":{"amount":"+0.826869","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":"Q1758678$70BCCC4D-8E94-4218-969B-CAC5FFE81DE3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of semantics of systems with unreliable agents by means of nets of active resources","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_semantics_of_systems_with_unreliable_agents_by_means_of_nets_of_active_resources"}}}}}