{"entities":{"Q4250359":{"pageid":6279960,"ns":120,"title":"Item:Q4250359","lastrevid":46824885,"modified":"2025-12-25T16:18:52Z","type":"item","id":"Q4250359","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303724"}},"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":"Q4250359$964419EB-809B-4324-A225-8240758CB835","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e26c1da9049de64747e10242ae28cbbdfee9e06a","datavalue":{"value":"0921.18007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250359$501C06E5-92F2-4FD6-ABD5-DE8303A18EA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a31faab77501481f5eeb576293dcd59bdbba3a61","datavalue":{"value":{"entity-type":"item","numeric-id":265794,"id":"Q265794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250359$76700F50-B798-455F-B70B-27DFF7FB6328","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5cd551a6d332eac1488fffbdc2716ff15f0d6f26","datavalue":{"value":{"time":"+1999-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250359$CEA03625-8691-4CA0-8533-AAE970BF9867","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250359$468CE1CA-4ABE-4778-BC5F-4C2195A90A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250359$EF54B8FD-4F14-4AAB-BBA8-76DF03501FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250359$C9121CD4-7D18-4C77-8736-1D7A08D832CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"644a8ad77abb447e935b7b43a2d67307a2ff3e3b","datavalue":{"value":"1303724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250359$E3883F69-B858-4039-BD8E-1D6DC73E5014","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87bed328138fe5d26a4994fa4463ee242681edcf","datavalue":{"value":"open-map bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250359$7A658B9B-D8E8-4758-8E30-416FE0EA6762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfdce47c27dd84fad47feb461e5f6326f8647495","datavalue":{"value":"presheaf models for interacting processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250359$775AB54B-BE2F-4091-93F7-34F57EBF2BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67a83c7f3be48148b0290ab600b2297db4574421","datavalue":{"value":"metalanguage for concurrent process languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250359$92155216-28AC-402E-818E-6C593054EF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250359$607295CE-8E5E-4199-811C-D079194721EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15a8933f5f40bbe7a8c6887d07d70852f3605163","datavalue":{"value":"category of nondeterministic domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250359$12F9E8F6-20D1-423D-9775-DA314D5F5711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250359$5329DC55-50F0-4166-893A-7ECD15619860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28f86fd0e8b8fa97690258c361c28417e8298b34","datavalue":{"value":"category of presheaf categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250359$E219D5FF-3DD4-4EEA-974F-278E01067BD9","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":"Q4250359$A2C3D362-7AB5-4176-B8FB-E0AA6C2B748D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ffbe2d9a6873e1fc388582183f294a0ee1c0e2f","datavalue":{"value":{"entity-type":"item","numeric-id":1434357,"id":"Q1434357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"870cb5ab4859b91883dd3bc3f9c41445f1cb552e","datavalue":{"value":{"amount":"+0.7829156517982483","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":"Q4250359$05CAB86F-ED96-4912-80BF-20621C396811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef9bfb5dd7cca4348b868153f1963992263dd2c1","datavalue":{"value":{"entity-type":"item","numeric-id":1399958,"id":"Q1399958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355ba9470b6551da6b01b61c0ee83f5d067e3099","datavalue":{"value":{"amount":"+0.7540469765663147","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":"Q4250359$C25BFDBC-8D0D-425A-B952-122C7D89DBBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e09f172334622c9c679c23551964625e6c7933ca","datavalue":{"value":{"entity-type":"item","numeric-id":4484503,"id":"Q4484503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d38b40b358e5658bf210cf63045779c433671710","datavalue":{"value":{"amount":"+0.7402783632278442","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":"Q4250359$57E629E9-4313-4BD6-BE4F-00B8224A0536","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56c114a88c9dd0cddc3a7e4d0818a8f79b64488","datavalue":{"value":{"entity-type":"item","numeric-id":5096267,"id":"Q5096267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e5693e03f39ee3accb0a0b87861455bcdec59d1","datavalue":{"value":{"amount":"+0.7352637648582458","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":"Q4250359$49EDC835-01A3-4B09-BCED-4616A4B3EB57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a046c797a9ec0a3668e34cb0d7d461a86addfef","datavalue":{"value":{"entity-type":"item","numeric-id":2852348,"id":"Q2852348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"088f29ee09d82bd95503a93cb3caf9b987c00d8b","datavalue":{"value":{"amount":"+0.733692467212677","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":"Q4250359$CDE1591C-3367-46F8-8CFE-68FDEC8402BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250359"}}}}}