{"entities":{"Q1376418":{"pageid":1387158,"ns":120,"title":"Item:Q1376418","lastrevid":70282791,"modified":"2026-04-13T13:43:16Z","type":"item","id":"Q1376418","labels":{"en":{"language":"en","value":"A complete axiomatization of finite-state ACSR processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1097814"}},"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":"Q1376418$C798ADC0-AA71-4C90-8C7B-3ED9113C0BA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91c2e0263db318e5e5f60ebeec1a1472aa3b2bb8","datavalue":{"value":{"text":"A complete axiomatization of finite-state ACSR processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1376418$C08B938F-39E3-422B-92C9-AACDEC162BC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"059891e52fd5596371ea67ec6544388aa5d99e38","datavalue":{"value":"0885.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376418$39E6FB72-B219-482A-854B-BC4602FD216A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"673674044de1ec3ba815d65fb3a9bb6597790c5c","datavalue":{"value":{"entity-type":"item","numeric-id":1376417,"id":"Q1376417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$0669276F-6FBA-4D33-9ABF-536ECCECE929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05c6e35e3e7e07e6f3cb1d9f24540dfd7608799d","datavalue":{"value":{"entity-type":"item","numeric-id":234682,"id":"Q234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$B7CEBCE3-06C6-49C8-8C05-AD1956817222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3b7f212acc5acc89da12beafec5d2f73daae6bf","datavalue":{"value":{"entity-type":"item","numeric-id":342468,"id":"Q342468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$13CF9F0A-990D-411C-B08A-EED93B53F80B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$FD9F52A0-1AD4-445C-BD23-079F37C8D14C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b29b3b44fdd78badb644928bb4bc10e21ae97e1c","datavalue":{"value":{"time":"+1998-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1376418$764B6596-017C-43F2-B22D-6CB9B4BA2BBF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376418$03395D61-F18E-4408-BD7A-761486EA5364","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ab05b92f17cd1110130ed7658a8884fab90b911","datavalue":{"value":"1097814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376418$F96BEB4C-79AE-48AD-933E-9CE2E43A19B0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff3b6ad754bf32957d1d197a38f33a4efd4b2e00","datavalue":{"value":"real-time process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376418$E236AC00-7EE9-47B1-9D1F-15F947F2E505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1376418$C87FF25E-0863-47AF-B940-87BF9A0E0B49","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":"Q1376418$D46601FC-9B9F-4A03-BA50-8B4E4852A778","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c4285c2bf7286eb1d8614b5ec959db3f50137af","datavalue":{"value":"https://doi.org/10.1006/inco.1997.2657","type":"string"},"datatype":"url"},"type":"statement","id":"Q1376418$F0F460E1-C69E-42C0-BDAE-0DB73B0EA006","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9ccab6c75cd4c0596a7ccbff18e76e58a551393","datavalue":{"value":"W2029952030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376418$9BDD2BDA-0C99-4830-9591-136B1532EFC1","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":"Q1376418$98B5BC34-C54C-4889-8403-11E52FD0E41E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a32b662cb24ebd253010e4d2dd1171bea9b2c50","datavalue":{"value":{"entity-type":"item","numeric-id":1914041,"id":"Q1914041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$38FA30CF-9412-4A29-AA20-C143E07B1756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"930cff729793c9543272b2b16970f179d3d40ac9","datavalue":{"value":{"entity-type":"item","numeric-id":3763573,"id":"Q3763573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$AE3FB0A3-778D-4CD7-9596-0637A75120AF","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":"Q1376418$E2874F68-3CB4-4367-B2CB-8F27AC7F12EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90faebe8db911fffe6eda59539b7a7cf2d2759ac","datavalue":{"value":{"entity-type":"item","numeric-id":802881,"id":"Q802881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$66413F8F-0604-4043-8620-1C0377651B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c1ee4edd7511750bce8287bc936441214772ede","datavalue":{"value":{"entity-type":"item","numeric-id":674191,"id":"Q674191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$B28E9492-5185-47F2-BF97-09BABE9B69B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43eb8624c92f35a4b76adf1330ab940976d5e25a","datavalue":{"value":{"entity-type":"item","numeric-id":1333279,"id":"Q1333279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$21C54991-CB11-43DF-AE38-727F0E22326F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$69928A7E-1178-4B60-BA29-53981BA37CFC","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":"Q1376418$1116E00B-A7E8-4555-A4B0-2C16F8B7F437","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":"Q1376418$D10B216C-C3E7-4896-80CB-73FBE112B6DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f190ae2fde923a1f547028868c0453492060bbe","datavalue":{"value":{"entity-type":"item","numeric-id":1050111,"id":"Q1050111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$8033FF52-C1DC-425D-B948-95F24F9FA19B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$806A0D87-6BE2-4219-8EAE-0FE908857242","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":"Q1376418$95B66E31-AA0D-4940-B002-4D0D825DD41F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d630e5ecd91a4bf839fd44e533fa25f1b0e8d02e","datavalue":{"value":{"entity-type":"item","numeric-id":1263984,"id":"Q1263984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$A77A1DF7-3327-44E4-80E9-CE0D08CBB46B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a181ff97f28ae7ee677b649366008cb5a78c308","datavalue":{"value":{"entity-type":"item","numeric-id":1336052,"id":"Q1336052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$65CE0800-0A1C-4C7E-9D80-653BD474A20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$8A9390EE-4CAD-4B56-B5C3-157D37343DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$F2F544DB-F06A-466F-A1BA-DA1A13F0A945","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b183abda9a3b72243955fd44838a3dd7c201a7b","datavalue":{"value":"10.1006/INCO.1997.2657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1376418$C85EDCAD-4D55-406B-95AE-1E0956B1A35E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f00cab95989b6c94b17836321a6de3079194b6","datavalue":{"value":{"entity-type":"item","numeric-id":1389685,"id":"Q1389685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175a3cb63d9a912b309467566f796ac82397c180","datavalue":{"value":{"amount":"+0.8484650254249573","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":"Q1376418$95DFCD02-3696-469B-8529-94B092D751E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cae7f2399f4177bba0bce398e2a695a3100d01b","datavalue":{"value":{"entity-type":"item","numeric-id":2640341,"id":"Q2640341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400640419793582541a045e1a75b8877047cc957","datavalue":{"value":{"amount":"+0.8031665086746216","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":"Q1376418$BC3F01E3-B157-40E7-9B36-7B60D8A33ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a20f144c586f4c4a78ecfa9cb7a954c0479b69cf","datavalue":{"value":{"entity-type":"item","numeric-id":5262969,"id":"Q5262969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f65f55470c07fbc332a8f1e624870b1a6c86955","datavalue":{"value":{"amount":"+0.7960631251335144","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":"Q1376418$AEBFC6ED-C44E-4D9A-8598-E368F9085649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14006c5fc1c2445fc179a31a15044d44366abf6d","datavalue":{"value":{"entity-type":"item","numeric-id":5890048,"id":"Q5890048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a04dda2d72726d3d84a866c006d750e37dd5eb2","datavalue":{"value":{"amount":"+0.7661954760551453","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":"Q1376418$B088B9AF-BE0C-48E2-9E1C-D76BE1AE36B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74974f86a83c0b9ddc8feb10884580cca5fa2ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4282003,"id":"Q4282003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"644c26894f1ec404956eb18f434feab2842260a0","datavalue":{"value":{"amount":"+0.763742983341217","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":"Q1376418$7EBA83B5-FA99-42C8-91FB-DE38D0DF218D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1376418$BE32068A-8F34-4B66-A9F3-0B8AE6E7F640","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete axiomatization of finite-state ACSR processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete_axiomatization_of_finite-state_ACSR_processes"}}}}}