{"entities":{"Q6979817":{"pageid":21381945,"ns":120,"title":"Item:Q6979817","lastrevid":84029183,"modified":"2026-05-08T07:46:08Z","type":"item","id":"Q6979817","labels":{"en":{"language":"en","value":"A theory of Proc-Omata -- and proof methods for process architectures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8044876"}},"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":"Q6979817$3FB1101A-7350-4D96-97AA-42ED699A167F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"78d497c3a5a8534b2f68d0d978d1f3b707d9e8f9","datavalue":{"value":{"text":"A theory of Proc-Omata -- and proof methods for process architectures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6979817$C8C2ACA4-454D-4FD6-91EA-FF8736432B1D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cfb66b76a79ec793db9fe415c915a96141d76b25","datavalue":{"value":"10.1007/978-3-031-77019-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979817$9CA2491A-76E5-422B-BF6D-446B7009E8E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b5efaf8b2e535d16594b4d3179edc4fab5d8018","datavalue":{"value":{"entity-type":"item","numeric-id":6860029,"id":"Q6860029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$D6E868B8-0B43-43CD-B41E-E9F4F1FB1947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$556115AC-4564-4167-B739-E58DDA61D5F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1dee5eef72567f68024f6e6f6a29dae74ed5cfd5","datavalue":{"value":{"time":"+2025-05-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6979817$1FB712E1-39E8-4F46-AC65-9393D3B23369","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979817$E106AA43-6D75-4839-B90A-05BB40ED695C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f48541b8172229950b06665b2ca05a16f9b91e6","datavalue":{"value":"8044876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6979817$9132D5FA-A0E1-42A3-B85A-E435ECB0C1C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"057cb898325b280e778249a25e11e8f49b1ebc7a","datavalue":{"value":"process-algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979817$F92070E5-1D94-497B-B32E-FCDF051F6B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979817$1C916E6A-7AE4-4826-97ED-E3DB569EAA50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979817$689B2091-439E-43B0-89B4-1D27653E6F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fb06950b4b035ba153d2d29c868e5ffe67e8dee","datavalue":{"value":"computational models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979817$9709AE17-BA9C-4946-BC24-F5839C54F04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979817$3BA99F65-B879-4CAB-B101-A4D12E0D8C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979817$3A26B816-0BC9-412E-9BF0-E79AEF21F2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q6979817$8413524B-BB63-4274-A55C-03D3A48B66DA","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":"Q6979817$FC7CB172-34B6-47C1-B2B4-C611F2511C9F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27572b9340799356ae26c4f1b9f51e23509968c","datavalue":{"value":{"entity-type":"item","numeric-id":6643014,"id":"Q6643014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$FB310BAB-2ABC-4F2D-90E3-75DB9225428E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfed3a191f3395176ec288ea5fac770ce0e8b2e1","datavalue":{"value":{"entity-type":"item","numeric-id":6860030,"id":"Q6860030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$2C6469A6-8867-4EA6-B3CE-94385101FD18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$E36911AC-F62E-467D-AFA3-C462D5E33DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0a92e978c8b48f108b205a3d54181e292f77f2c","datavalue":{"value":{"entity-type":"item","numeric-id":3680258,"id":"Q3680258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$1ABD3E07-31C9-4812-8B8B-07BB719469B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ea813f753f0746fd1a235aa0d357d6591625c3","datavalue":{"value":{"entity-type":"item","numeric-id":4991929,"id":"Q4991929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$02978263-18D9-43A8-A9E1-762B8ABCAB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$B1D082BC-2465-42D7-AA6B-AA86E821AD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7574c7b1b6fc86ae7b3f020add0d6a95cec24e93","datavalue":{"value":{"entity-type":"item","numeric-id":5756603,"id":"Q5756603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$AD5529DD-1307-406C-BA4C-99DEC6319C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923d9841ebb82ba7564626f46c70dd17455ed552","datavalue":{"value":{"entity-type":"item","numeric-id":4267723,"id":"Q4267723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$C38242DA-3871-4D0B-A48E-6E6ED3D20AFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d311170a4fec2677546bef79914d3b773377a420","datavalue":{"value":{"entity-type":"item","numeric-id":5285988,"id":"Q5285988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$A233295B-3C7B-4F28-B3BF-54F67EAFC89D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$CA755212-1F04-448A-9090-46A8DEB14BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e97c3eb4cb2f11ca34697e2d3972f7b2b7bc1bc","datavalue":{"value":{"entity-type":"item","numeric-id":6487937,"id":"Q6487937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6979817$7194C3DF-41FC-4088-8198-0CA5408A39F2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A theory of Proc-Omata -- and proof methods for process architectures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_theory_of_Proc-Omata_--_and_proof_methods_for_process_architectures"}}}}}