{"entities":{"Q5890048":{"pageid":7919598,"ns":120,"title":"Item:Q5890048","lastrevid":93281765,"modified":"2026-06-05T04:08:08Z","type":"item","id":"Q5890048","labels":{"en":{"language":"en","value":"Axiomatising real-timed processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680641"}},"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":"Q5890048$858091C5-8590-4637-A57C-66B5ADA021A3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"802c82cff20e7fd4917b7a1aaab347f0c46be2b7","datavalue":{"value":{"text":"Axiomatising real-timed processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5890048$C41710AC-6D69-4612-A8B9-89A397161744","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"840d866036340a98e710e5976990e5062171cdd4","datavalue":{"value":"10.1007/3-540-58027-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890048$00DAA3A9-78C3-4FAA-9C8C-CF0FE1C584D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51e63b8df6a877376019aa454b4c860732c9fde4","datavalue":{"value":{"entity-type":"item","numeric-id":188478,"id":"Q188478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$41792642-EF1E-4B1F-986E-C61243A12CC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$85035A73-20CC-465B-A3EF-78A58BE39C88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5890048$E7C1CA50-A321-4E17-A5B4-05F9856D891D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890048$E826947E-4DF0-4135-9743-856DCEDBD81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890048$02F5CD2A-DDEC-4773-88F1-52EF5F05B443","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e8780f36a183ea93dfc5ae2dc2ed549560964026","datavalue":{"value":"7680641","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890048$7D0643C5-A63D-4CCD-BC14-67135964F890","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2a7b76c2574f870d7298d139e3e0fd6b9a2ce5f","datavalue":{"value":"operational semantic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890048$9CF87FFF-8F92-4033-A642-A53A155E0E00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a0dd3e1b83404196449aa90cc83aae915af1cf","datavalue":{"value":"proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890048$93781818-7F42-4428-B617-8F7202B41298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50d81425affb13dcf09985fe807cbb0cd8e68cb4","datavalue":{"value":"parallel composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890048$D28FE29B-096D-4304-9A12-2BED13F3DC60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75cbffa92b20300c1449f981d9f340e37f13714d","datavalue":{"value":"time expression","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890048$3456B454-98A5-4642-BFF5-F2D7EC4C2EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b17f05e4289c7582cd773cdd4edb907a56b3cc","datavalue":{"value":"disjunctive normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q5890048$AFB0CDDD-69A9-469A-8A7E-33864DAAAE95","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":"Q5890048$83EA1D9C-E19E-4156-A907-3BEE504205C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9408d9aef09f36b96f814da1ba752c2612e8f099","datavalue":{"value":"https://doi.org/10.1007/3-540-58027-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q5890048$FB9035DC-7074-4611-BDFC-2E950D65DA1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d398b3d1e81d83196a167e158e14d390a0c1afe","datavalue":{"value":"W294411420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5890048$5282AEC4-6D5D-4264-B128-F4E765830C7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"995e09e11031a81f0e8fcb1fd6203f3a1b4afe05","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$2C5D4ED4-33F1-4362-AFEB-A71DD813AADF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$B7120584-09BE-4331-AEBC-8437E7F3D31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fade1aab1b78297d87bed074c7d9faa3cd065224","datavalue":{"value":{"entity-type":"item","numeric-id":3999508,"id":"Q3999508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$59DD3E2E-39FB-4849-BB0E-280527A4D176","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bed6263efec8651fc93f07f9b40454674a49988","datavalue":{"value":{"entity-type":"item","numeric-id":2757804,"id":"Q2757804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$64772AAF-12A8-4A70-975F-3A562627E928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f0d2e34aa930e925e375883c6bd748955e5f0c0","datavalue":{"value":{"entity-type":"item","numeric-id":4733427,"id":"Q4733427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$7E4EB296-31C4-4F52-B314-BA99176E9DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559cfc5c99beab76c0edcbfc995aac83468d7534","datavalue":{"value":{"entity-type":"item","numeric-id":3817589,"id":"Q3817589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$ED7C7BE6-F818-4915-B8EB-EA083AE8CB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e51860e3e6e78c9debcd7832f7e0ecb4acb6bba8","datavalue":{"value":{"entity-type":"item","numeric-id":1179808,"id":"Q1179808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$D6165CF1-6009-4622-A0C6-E2801DEC9160","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":"Q5890048$A5F1A0E9-339E-4456-917D-CF0230D19989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$0EA71F7F-76A6-4589-84EC-BE1C5214D336","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":"Q5890048$2A582256-0896-47BB-8280-26E3572E8907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbbece7571be501a7c5bea5b915e00289f365146","datavalue":{"value":{"entity-type":"item","numeric-id":1109561,"id":"Q1109561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5890048$1DC80CB0-BD61-4DD7-BE3E-C2C6413FF6C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c2fec342ecb4e94948044b707e10f884767beb","datavalue":{"value":{"entity-type":"item","numeric-id":4508304,"id":"Q4508304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0aa46eea72f468823df76c4d12c099870f6756f","datavalue":{"value":{"amount":"+0.8109555244445801","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":"Q5890048$F1C3E20B-FD4F-40AE-83F1-D4628F866A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccfd046a92a4ddabb1864ef0107d9abff346ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4472451,"id":"Q4472451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c11b4121749cf1a25efec612800df9ff76b4bd","datavalue":{"value":{"amount":"+0.7875238656997681","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":"Q5890048$482725D8-F6F6-46B0-A36F-A6FE2BE3B59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0858596335dd9b5a37f9042971ac2431298c3c9f","datavalue":{"value":{"entity-type":"item","numeric-id":4723289,"id":"Q4723289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcca336a616304f2be63cbd1fb462f002323362e","datavalue":{"value":{"amount":"+0.7859973311424255","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":"Q5890048$778B04C9-29AA-425B-A5D9-734CFCF2F0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c3005a3ed7c93b95f599b331687e586e72eea8f","datavalue":{"value":{"entity-type":"item","numeric-id":3999508,"id":"Q3999508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf1e3764efd62efd17cf92f6d08e4867a718eb4","datavalue":{"value":{"amount":"+0.7835821509361267","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":"Q5890048$B2B58E25-A6B9-4E61-9999-2D3F2615B697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd538dfa943142275c84c51b53b5311f7e6b33cf","datavalue":{"value":{"entity-type":"item","numeric-id":4952304,"id":"Q4952304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaf1e3764efd62efd17cf92f6d08e4867a718eb4","datavalue":{"value":{"amount":"+0.7835821509361267","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":"Q5890048$7430DE20-3751-4DD2-9888-2AB930FF91BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Axiomatising real-timed processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Axiomatising_real-timed_processes"}}}}}