{"entities":{"Q1044834":{"pageid":1046682,"ns":120,"title":"Item:Q1044834","lastrevid":66024882,"modified":"2026-04-12T07:01:48Z","type":"item","id":"Q1044834","labels":{"en":{"language":"en","value":"An axiom system for sequence-based specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5647931"}},"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":"Q1044834$42B7B22F-AAF7-4191-BB40-D4FD32A96979","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a3b80e60848f2ee2c2e274509e516f0c5e7298d","datavalue":{"value":{"text":"An axiom system for sequence-based specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1044834$004B606B-4642-4E31-B24A-E2EB1FC81117","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9143a9b7e14f82a140dbf04857614d7163c79b8","datavalue":{"value":"1187.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044834$BEC52911-CB68-430D-B131-F8DE1B9BAFD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24968debfeea406035aef59fdb4b982b6813f61a","datavalue":{"value":{"entity-type":"item","numeric-id":397152,"id":"Q397152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$0765D4B2-D4D6-4534-A005-EFFA096BFFDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59a41d20f24e996f52e1eb5a56cfae393b6449d2","datavalue":{"value":{"entity-type":"item","numeric-id":1044832,"id":"Q1044832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$BAD7E21A-841D-4697-AB4A-2AA9FFAF9B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0a13871a700e5622918711af54dba87222ec05","datavalue":{"value":{"entity-type":"item","numeric-id":1044833,"id":"Q1044833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$E71E80B8-68EE-431F-A4DB-CD868213B50B","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":"Q1044834$679CFFDA-AC10-436D-ACF2-2BF1B1CF2D09","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d265d400060d2e7fb9c5c45adc5a5c7f5f7bbd7","datavalue":{"value":{"time":"+2009-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1044834$939312EB-CFCA-4E76-9CAD-DA4F44D444B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044834$387271E0-18D8-474F-BD99-93B76C411F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044834$3E6E4B9F-C7E8-408A-8EAC-9EE065D23763","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b6d1007c7823dfe43098ee026f48372421c84a8","datavalue":{"value":"5647931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044834$A16303E2-60F7-498E-BEA6-DD89C493E252","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905927e9217e5376753c6da03d9967873a6056e1","datavalue":{"value":"software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044834$F30DD75E-6215-4C06-B85B-CC201640FC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e41c2d4985a186b987e83ff88ef4fb19424380b0","datavalue":{"value":"sequence-based specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044834$6A50FC5D-78FD-498C-9644-806330438839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044834$BEE57084-EBC0-4FE2-B5DB-CE9A4C34A105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"729ce7d30b006e0a0feac3738fe17ebb7f491306","datavalue":{"value":"representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044834$7A1CF4D4-1B9E-4C35-97C9-74519DD106A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b628ee37bb1de264bc13811ff0dbdcc706e2c5eb","datavalue":{"value":"automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044834$4491B4D3-8A4B-4BE9-8CF8-46B1BB9AD21C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f572c1df5a485218c4566448254e70b8997fdb0b","datavalue":{"value":"mealy machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044834$B15555E1-3A80-4A6D-996D-FE972EBA1AD5","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cc95fcb6bd7c056530cf96d3ba2df620be32572d","datavalue":{"value":"Q114013036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044834$6E84E000-266C-462C-BD71-3804A672123D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6b29ece733eca165d3fe96eca18b072d2b1513b","datavalue":{"value":{"entity-type":"item","numeric-id":19003,"id":"Q19003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$96B80A57-5764-4165-9168-0DED5F8758AF","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":"Q1044834$E3EA4B5B-B25F-4033-8053-8E927F59BE90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fd3d1dfdba50b705d892fe44cf0357190718fa2","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2009.06.041","type":"string"},"datatype":"url"},"type":"statement","id":"Q1044834$7A2697C6-0DBF-4397-B60F-86CFCDDE75CB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d48633bd1b9ccc81f23ee66a5a4e436e41767ee0","datavalue":{"value":"W2033392342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044834$EA44300C-4806-466B-B7A9-D0AB83288937","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$23EF3CE2-3F8B-4AEE-9C7A-0332E16F6CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98d72682c33327ee687a71369016944423f525de","datavalue":{"value":{"entity-type":"item","numeric-id":2490807,"id":"Q2490807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$2D299FDA-847D-4712-9125-62573BC67488","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0e13daeabf67fcac4ae28c3505549d15fbda49","datavalue":{"value":{"entity-type":"item","numeric-id":5704368,"id":"Q5704368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$EEFEE4B0-636D-4105-AD20-92131AD34554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a3446857a870bdbc3635a697ce33c675621a756","datavalue":{"value":{"entity-type":"item","numeric-id":3065617,"id":"Q3065617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$951268C1-5E2F-41D7-94E3-6D754253415D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d3c4371d3227c7c5251d2c7dac9cc00b0d0f19d","datavalue":{"value":{"entity-type":"item","numeric-id":5541342,"id":"Q5541342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$D3692003-EC2C-4A48-B9A4-E497C0EE63A5","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":"Q1044834$A64C0CEB-0A45-41BA-87C1-84E4A62E5212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$A37B41C7-F0DC-4193-B3D4-D81234E854F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1b6809f86e7c4ae5eb5e704091ac2f9c340dae","datavalue":{"value":{"entity-type":"item","numeric-id":2848418,"id":"Q2848418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$0C173E5D-4D6D-4E8D-8122-55FAE218C53D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15358d43a73fcb9797fd14b88604aff3ae5b4d46","datavalue":{"value":{"entity-type":"item","numeric-id":3038593,"id":"Q3038593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$60554D93-7B10-4698-957C-5DA25231102C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845f50c898faa769e96652dc140b68cd780db83c","datavalue":{"value":{"entity-type":"item","numeric-id":4045610,"id":"Q4045610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044834$28F3EC69-BE2C-416C-AC22-B86C3F3D7233","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6c122f5131760e1949a7870e9af98bbc272e7066","datavalue":{"value":"10.1016/J.TCS.2009.06.041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044834$95442FA1-F234-49F3-ABB6-F74E3D71E641","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97b783b5cd12750cac0d018cb5c66f897574fca0","datavalue":{"value":{"entity-type":"item","numeric-id":2508786,"id":"Q2508786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dba99de52dbe0ba64a45d8492dbe7b9e2ccce10f","datavalue":{"value":{"amount":"+0.7142516374588013","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":"Q1044834$84CD4B9C-3BDA-4C82-9A76-C7F9D1B7F777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16604a79641591d6f3b0cb9625e0586a26d96b95","datavalue":{"value":{"entity-type":"item","numeric-id":1333690,"id":"Q1333690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b706e6f34c21a56187955909566702bee320a0","datavalue":{"value":{"amount":"+0.7138680219650269","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":"Q1044834$9BFE18B7-F752-4922-AD97-A9CBAC6DA3C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f037857bb9198050e50962830410581a364a2781","datavalue":{"value":{"entity-type":"item","numeric-id":4233991,"id":"Q4233991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d65f5e280cbc38c90b8ccf353267e5b6d5e2a30e","datavalue":{"value":{"amount":"+0.7130138278007507","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":"Q1044834$9293AFB5-9269-4568-AF7C-44B5CDFD7BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af45ac0e1b53e80685ba05859edfc631c85703a2","datavalue":{"value":{"entity-type":"item","numeric-id":4028148,"id":"Q4028148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9da9cbe672bc1816b2e474e56cf5e25f1af3cf8f","datavalue":{"value":{"amount":"+0.710121750831604","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":"Q1044834$55D72855-66DA-4E9F-B6C9-099D148E5E94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f5663ae2e1c8d6353f7c37c712336016b8a785","datavalue":{"value":{"entity-type":"item","numeric-id":4713365,"id":"Q4713365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a83c51fdd75d4699168a3c760ba2b61ce9216590","datavalue":{"value":{"amount":"+0.7013158202171326","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":"Q1044834$B7307944-1213-4548-8355-4D4A58DF6CB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An axiom system for sequence-based specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_axiom_system_for_sequence-based_specification"}}}}}