{"entities":{"Q5958465":{"pageid":8135267,"ns":120,"title":"Item:Q5958465","lastrevid":93528890,"modified":"2026-06-05T04:33:10Z","type":"item","id":"Q5958465","labels":{"en":{"language":"en","value":"The regular viewpoint on PA-processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715466"}},"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":"Q5958465$E7449A9C-D6C1-4F97-88C2-8D6BEAAA26AD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a7427d7bcd9d201457dcc15cdef4ee2616b79a4","datavalue":{"value":{"text":"The regular viewpoint on PA-processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958465$FE0A77CB-EC12-410D-B319-53CC72FF6F8A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99f480f1d1de7de38a43262553ed544719376978","datavalue":{"value":"0992.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958465$59AFB247-1E26-44CB-97F6-E30F7E7338A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9b329b5629986ce153d1a8c7e48cd8b9906a924","datavalue":{"value":"10.1016/S0304-3975(00)00306-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958465$F9CF0C34-972C-4D88-B838-ED15E2B67511","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a60be4490a790d53b1b7f5ef26cb70860647ffa0","datavalue":{"value":{"entity-type":"item","numeric-id":862560,"id":"Q862560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$433F78F0-FD1B-420D-B214-ECB8DE014D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a4493e58bf4fbc540cfb048ba7a90aea2a6a229","datavalue":{"value":{"entity-type":"item","numeric-id":1045896,"id":"Q1045896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$E048EE3B-1020-4251-BFCC-5D48EC642FC5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$429004BC-129F-4466-A31B-66E398912E55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958465$A55CCCA5-39E7-4A3C-86BA-EF82310E49A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958465$6D88FC9F-2685-4CC9-9422-0B0BE1006D7A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"867a38dcc9993e1a83ea727506822905c20ff8db","datavalue":{"value":"1715466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958465$E12612E6-4CE6-4B27-865F-788644F6C1A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958465$8F460150-1749-4D1A-B856-B0C7F8194F1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2401ab9a73046e83587f0547028c361f64393fe","datavalue":{"value":"verification of infinite-state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958465$8310D90E-DFB2-4DAA-977A-5C7DEAB63823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958465$0B396CCD-5FAF-4D61-9B34-62B12D6A50B6","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":"Q5958465$CAC3035D-8488-488E-839B-1B32001522BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e95dab920df6bb4688d107a498b005a8577eead2","datavalue":{"value":{"entity-type":"item","numeric-id":3774929,"id":"Q3774929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$1E288F93-0CC9-46FB-8478-6BC006FFA24D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d38f7db503657d991df255a6f2cfd8e438a30f5","datavalue":{"value":{"entity-type":"item","numeric-id":3999164,"id":"Q3999164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$2C44EB9C-20B0-477F-A913-DFD3DF236421","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$B6F5CF33-976F-4220-817A-01BD4F41BB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e7a108370169c16838733bc613c6abdf38f709","datavalue":{"value":{"entity-type":"item","numeric-id":6044114,"id":"Q6044114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$B39FBEAF-AA47-44F7-9876-69483FA86674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e6473c3e86b72de5065fa5f2153919d4fac2fc8","datavalue":{"value":{"entity-type":"item","numeric-id":5338328,"id":"Q5338328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$BD0419B4-5535-487B-8BF2-E7AEEB12BF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53a51872f069526f7c4f160c0c189b214a3414c","datavalue":{"value":{"entity-type":"item","numeric-id":4790409,"id":"Q4790409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$4B07CE99-1B7E-4B09-B35F-B76269DA9894","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de77900b6ca5ecc880ae38be55173559bdc08936","datavalue":{"value":{"entity-type":"item","numeric-id":685354,"id":"Q685354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$86DB0BB1-2529-45D4-AFF2-631AF7B26E4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$2CD0DCAA-D107-4D0F-A522-AE09D1CD6323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2670feac67e5c7837b7deafe39ce20a73145aea3","datavalue":{"value":{"entity-type":"item","numeric-id":4223067,"id":"Q4223067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$F0104F34-EB58-4F90-8A82-7761D6EC056F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5709c2ffa01c029b486c6e705fa60fd703dea1c8","datavalue":{"value":{"entity-type":"item","numeric-id":4179852,"id":"Q4179852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$9489F56C-F475-459B-A821-ACDB37B73B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409d78877640b9cd2dced52f0c8a2bf6bfceb5d5","datavalue":{"value":{"entity-type":"item","numeric-id":4938637,"id":"Q4938637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$B888F2EE-78E6-4C57-BD4F-7AA637A6BD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59d3c4432411299f2b9218070bd4c62e887864c1","datavalue":{"value":{"entity-type":"item","numeric-id":5941202,"id":"Q5941202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$8415EFDE-526E-4974-A105-5B898D7076BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbac416773feb6ef59925523b770f5605643de15","datavalue":{"value":{"entity-type":"item","numeric-id":4222876,"id":"Q4222876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$C1218346-BB56-4706-AE9E-E36AD7B75AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d152cc874bfacae81c9db8366bcbe470413dcc88","datavalue":{"value":{"entity-type":"item","numeric-id":6044125,"id":"Q6044125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$01F0C6FD-969D-4B1E-8640-BA2981FFC5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9837d68727f5a620b332bd3945bdde6006560486","datavalue":{"value":{"entity-type":"item","numeric-id":4364400,"id":"Q4364400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$952F43C7-436E-41B3-8009-59461C5E1929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea66879d47e2f317ce50f7998b7fe6ec5a9a3907","datavalue":{"value":{"entity-type":"item","numeric-id":6044127,"id":"Q6044127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$41BFF47D-D107-4C15-9C59-98B584D2E4C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"197325a205427a189f4291cecc8c861869c46f7d","datavalue":{"value":{"entity-type":"item","numeric-id":4610333,"id":"Q4610333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$6D1402B1-D9ED-4ACE-97DA-F6CA34EA773A","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":"Q5958465$02584708-BA59-4BF8-923A-EE92058E5B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9d7d93a9512ab236f4772935e1df8ec2aa25fe5","datavalue":{"value":{"entity-type":"item","numeric-id":6104374,"id":"Q6104374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$1C629024-DFF1-4B2F-8CE6-7941F77F46FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a6af6cfa160fc3d5478436834f1bf6b654c7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1280232,"id":"Q1280232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$06C8449B-B555-4CBC-8603-E2B4BD7D1693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cc18f0b46fdb1ba05a79fa616657addcb5f839f","datavalue":{"value":{"entity-type":"item","numeric-id":5178837,"id":"Q5178837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$DD609B40-1131-4D2B-98EA-5DBFC33C8C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57900b94da2b759d62934964981c7c23b60e5ea5","datavalue":{"value":{"entity-type":"item","numeric-id":2754156,"id":"Q2754156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958465$E36F4317-E25C-4B9B-9098-CC00A55FACF0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cee04d88a764eca69586b123ee805b6834ad4172","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00306-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5958465$6DDEA448-3731-482C-ACF9-0B31216C08E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5babfdef647a394e66f8a04cc4810140bc1ee371","datavalue":{"value":"W2720631021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958465$491BDA18-C369-4CBF-AE4D-B71104FC8890","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03694b9002b7a071c189e9711830b285f2f00cdb","datavalue":{"value":{"entity-type":"item","numeric-id":4251913,"id":"Q4251913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d82b6bbf6a7cab0480f404d8a0f8bf785b9e59","datavalue":{"value":{"amount":"+0.990743100643158","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":"Q5958465$5653CCE3-2D15-4DEB-AB77-CB53BCD3B9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d541e4054f6ef0003fab8900ecba58d6ecbf6e","datavalue":{"value":{"entity-type":"item","numeric-id":4037106,"id":"Q4037106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7d82b6bbf6a7cab0480f404d8a0f8bf785b9e59","datavalue":{"value":{"amount":"+0.990743100643158","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":"Q5958465$08CF5883-8FDB-4434-9AEF-22304E9EDD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca0ce561ec9a25dd0f89095b4d05aba6cc03a1b1","datavalue":{"value":{"entity-type":"item","numeric-id":4610333,"id":"Q4610333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68867503e659dcd3627ddc67a8d684aa7df6f6d8","datavalue":{"value":{"amount":"+0.8282164931297302","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":"Q5958465$5399605A-94DB-4DD3-95D5-AD662F623B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aedb57f5fb97a87506c49dd7bf5955cba817340","datavalue":{"value":{"entity-type":"item","numeric-id":6044127,"id":"Q6044127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78e6357b2e987302be37e73cdbf65105758257a4","datavalue":{"value":{"amount":"+0.8273746967315674","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":"Q5958465$7A85E724-E2FE-40D5-BB1D-06FB53A2E6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6784552641606d76c2f7a22b15e88e20a8230f40","datavalue":{"value":{"entity-type":"item","numeric-id":294692,"id":"Q294692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f073d409ac741bd4afa72b0a2eb03975dc2ad0be","datavalue":{"value":{"amount":"+0.7803545594215393","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":"Q5958465$EA6D922A-E645-41A9-A73D-92276CF70DC9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The regular viewpoint on PA-processes","badges":[]}}}}}