{"entities":{"Q2481583":{"pageid":2492326,"ns":120,"title":"Item:Q2481583","lastrevid":50333600,"modified":"2026-01-13T20:26:50Z","type":"item","id":"Q2481583","labels":{"en":{"language":"en","value":"A congruence relation for sPBC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5262296"}},"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":"Q2481583$B9BCBABA-951F-4053-9285-E585381993EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abf55b4588980cf066599f71ec8ee84df9a664b8","datavalue":{"value":{"text":"A congruence relation for sPBC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2481583$95E0F334-E7C4-4B7E-9D59-FA58E0017942","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a29cb0b344e2d11af84bcdce353bbf627959631","datavalue":{"value":"1138.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481583$8BBE47BD-B660-4488-B31A-444C736CF7CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d3cf3b62d4eb297329967a86da54bd015bf32a0","datavalue":{"value":{"entity-type":"item","numeric-id":557804,"id":"Q557804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$3BA2DECF-D3CF-4FAB-920C-EFE021D28792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3214a89553dc064e5abd869148480fb96e64691","datavalue":{"value":{"entity-type":"item","numeric-id":1014567,"id":"Q1014567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$2AC6E325-6608-498A-AB52-89E30E03F1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"55f1b2be9732015562188617a574a6fc2c554f4b","datavalue":{"value":{"entity-type":"item","numeric-id":300303,"id":"Q300303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$951F5310-2569-469E-AEC6-56247CE1B2E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"465289eab02a58fdf62cf3096124306c951e84a4","datavalue":{"value":{"entity-type":"item","numeric-id":1261313,"id":"Q1261313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$04B593A3-1DCC-4307-A1EA-3C2D05E78FE8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$E3386149-220F-4B6A-966F-A827C6463479","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de5306c1211a7dcd78b6214088eb3e5b7092fd16","datavalue":{"value":{"time":"+2008-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2481583$F3442F47-507A-4746-93FD-1DF87B371475","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481583$9011BC63-5A5D-4844-BE9C-48C65596BB96","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c4e5907219a3bd525f40d1b13f01dba2ab76d414","datavalue":{"value":"5262296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481583$51D0339A-B5DC-4C53-8899-8270C82708AC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2ac93fbfc1d72d79908b7075c8a30b6ee495530","datavalue":{"value":"Stochastic process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481583$836C20F7-7909-4C95-A199-5FFA81055E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83553e0b137880576c3c3c671204ae708b95f0fd","datavalue":{"value":"Petri box calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481583$DC1FC9C7-38FC-4145-ADE0-3BF9FF3BDE7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e58670a309075c0628bd32b252a3d4f2c30abc0","datavalue":{"value":"Operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481583$ED4BEFC9-7D17-446A-A394-D0E925C89D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d583ba89d0f196f85e79e6df5ab609b3711ddc","datavalue":{"value":"Stochastic Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481583$01804ECA-445E-4962-8445-767E7F53505E","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":"Q2481583$01236623-4363-4820-B998-C58EA978B798","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b3eb91e9ae9958e4120070686db8049b95d3862","datavalue":{"value":"https://doi.org/10.1007/s10703-007-0045-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2481583$474E63A2-09FA-4B28-859D-38F8CF116B06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b6ea9ac64d6cc3e7af5c2020a5bc708b21b04e5","datavalue":{"value":"W2141221549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481583$707A2A4F-19C5-4DB5-9A08-58F552D5DEAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"840d5c28da0e38c899ea1bbb79ad1bea8bed6f34","datavalue":{"value":{"entity-type":"item","numeric-id":4835250,"id":"Q4835250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$8F055B10-5E5C-4E77-9427-4D9869F36C7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f52de9a4a1b8cd2deeeaf3402deb174d136fd","datavalue":{"value":{"entity-type":"item","numeric-id":1128976,"id":"Q1128976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$D16F1940-568A-4BD6-A300-A8091B985EE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"780e6b41c7647d692a811e1fc733b7b4c0a5664d","datavalue":{"value":{"entity-type":"item","numeric-id":2760251,"id":"Q2760251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$DC706689-1155-40A6-9CC5-16CE9F46AC93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7935b7c126f1c85d08838cf0c792c6abfe0e9fda","datavalue":{"value":{"entity-type":"item","numeric-id":1573598,"id":"Q1573598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$58C6775B-E5B7-4AFB-B5BE-90A6F7FABA0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a6bebd8bbbfd652a8504ecfa761893024e0cb38","datavalue":{"value":{"entity-type":"item","numeric-id":2703726,"id":"Q2703726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$EC10B990-ECF7-47AD-845F-639F513E39EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf75ae3bbb86aaaa95ce7d83fadffede3af73d0","datavalue":{"value":{"entity-type":"item","numeric-id":5958464,"id":"Q5958464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$EF78E25F-18CB-4EF7-980B-EB9EA551516F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a21ebee4e08f0592a1c4f5546d5d1edfcf28d498","datavalue":{"value":{"entity-type":"item","numeric-id":5462953,"id":"Q5462953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$22E86B35-A7E9-4D01-88F9-A8567DAACBBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b117510b4422c184b3dc46595f4fe45ff7a79ad","datavalue":{"value":{"entity-type":"item","numeric-id":3262596,"id":"Q3262596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$635EA2FE-5CF8-4946-A764-3ECE12D2E788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df45f6c1108e70c2ce235bc3f3f695c511c86d42","datavalue":{"value":{"entity-type":"item","numeric-id":2766569,"id":"Q2766569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$C33701BF-D391-4B61-854D-F8D9BC29D2B0","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":"Q2481583$AED3737E-FB27-43EA-B9CA-2F2DFAAB703A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c787d80ba140aa7a8292e2d245d59405c0f8940","datavalue":{"value":{"entity-type":"item","numeric-id":5464476,"id":"Q5464476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$F9D01E0A-7963-4FFA-BC8F-BBBAFC5B45F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481583$D12E2839-7ADB-4281-A0DC-09184847B6E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c73a40b5a34abfb1221a0fc8ad2146059ae52374","datavalue":{"value":"10.1007/S10703-007-0045-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481583$83220D60-ABB8-4909-AF1A-76487F90E8C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"616001f086981d58d7d04f715f723414981d6d9c","datavalue":{"value":{"entity-type":"item","numeric-id":2882947,"id":"Q2882947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b574d3df0cd274a9ea1ed1218641a470a8ee225","datavalue":{"value":{"amount":"+0.8336193561553955","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":"Q2481583$A1A00E88-417B-43ED-B0AC-83CB1463182B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177e0d490c4ba903fde456bf55bdc61dc2f26158","datavalue":{"value":{"entity-type":"item","numeric-id":5740349,"id":"Q5740349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec84c70c39dc85062a8c9794ee302236061be711","datavalue":{"value":{"amount":"+0.7744490504264832","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":"Q2481583$B1E420F3-FD99-4043-90E7-0566200E7723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d32de6b957ff2cc976586dbc499a5a7fadd9af8","datavalue":{"value":{"entity-type":"item","numeric-id":2979815,"id":"Q2979815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3881ddda94bb0f8668135770dcd2092678528ccb","datavalue":{"value":{"amount":"+0.7667703032493591","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":"Q2481583$F4AC686B-3215-41BE-B1B4-12B8B141BAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5447df68e880f3e3584631ce36f590b06b035902","datavalue":{"value":{"entity-type":"item","numeric-id":3429643,"id":"Q3429643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba5821bf85cd4fd3edb48fb57cc85aa80d988d0","datavalue":{"value":{"amount":"+0.7634499073028564","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":"Q2481583$0A76721E-6BE7-4A93-A441-080BD164652A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055efc5d2f523b2cc1c9661bfa30ed2cce721d1a","datavalue":{"value":{"entity-type":"item","numeric-id":2633503,"id":"Q2633503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff1a14d7f0a606e3b54ba47ee39c5f6ddd70dcbc","datavalue":{"value":{"amount":"+0.7506679892539978","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":"Q2481583$4D9AC4A6-6C75-4142-8F0A-BE5EA8C92FE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2481583","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2481583"}}}}}