{"entities":{"Q7028279":{"pageid":21672567,"ns":120,"title":"Item:Q7028279","lastrevid":77536478,"modified":"2026-05-04T23:38:00Z","type":"item","id":"Q7028279","labels":{"en":{"language":"en","value":"State machines for large scale computer software and systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7983662"}},"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":"Q7028279$0D7B8674-B8AC-469C-AAF4-F79A6DD81C58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"287be524e8db0f051fd99d579d754c1e86b21709","datavalue":{"value":{"text":"State machines for large scale computer software and systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7028279$7140DC26-15F3-4D6C-AD7B-7D19D999111D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f241fc2ac90eb05aecdb7d763b7f3cdbcb199199","datavalue":{"value":"1560.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028279$0CACD09D-CCE2-4269-95A1-0937D73DA9AC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"539f4e368558ee7f4ff2b7af86a306ed028395cd","datavalue":{"value":"10.1145/3633786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028279$1D728DFA-C1EF-4262-AE35-FF6C285C74F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07ea92e8e7b28a3089e750ecc8d1ed8e9d217b1f","datavalue":{"value":{"entity-type":"item","numeric-id":7028278,"id":"Q7028278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$A0B41F5E-A7C0-48C7-82F4-F89DC91F952E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$17AFDDA0-808C-4FEA-A681-1662F666882D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"79295fba39b045668a28642778d9e57debe5f9af","datavalue":{"value":{"time":"+2025-02-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7028279$5BD87973-D5BB-45D6-911F-D3B4A9685841","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028279$C7F4B7AB-779E-47E1-822A-B01F82B4E372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028279$82C2AAA3-F507-4200-9A95-CF3251A19859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028279$DE0424F2-CA36-45EA-8D15-9E25934A6F89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db90ac88b559c7e2030d831dc10f35a4ae2c11b0","datavalue":{"value":"7983662","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7028279$6FD8E2DC-3877-4198-842D-7318C0874FEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028279$435C0D6F-8890-4344-9D9D-BD7BFECAAAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028279$3B0732FA-F8F1-4A3C-A1BB-05470F762CBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028279$98EB1B2C-F064-4FD9-8431-BD521A3F62DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q7028279$FAD297D1-72D1-4714-8EB2-4473ADE8D13F","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":"Q7028279$C4FCC684-B114-4BBF-BAE1-CE8C5C1340A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7340b221ac7717ae41fe2723a2692bc81619cde9","datavalue":{"value":{"entity-type":"item","numeric-id":5588674,"id":"Q5588674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$5A3091DD-EDA7-4946-AA2D-E5DADEB2D5D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8428f9b1d017c23be63e820c9b20c9335447de1d","datavalue":{"value":{"entity-type":"item","numeric-id":1183379,"id":"Q1183379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$E9AC5E20-67FF-452C-8C47-769B6F799F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aff5b3eabe57aa454efc93cda308894d2403997","datavalue":{"value":{"entity-type":"item","numeric-id":2281632,"id":"Q2281632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$DD9D8E22-ED89-48A9-881E-DC492A485EE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69a897724b52da261ab542d51bea9b95ecc7685b","datavalue":{"value":{"entity-type":"item","numeric-id":5612462,"id":"Q5612462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$6D913354-57A2-4F7D-A065-AA08DB8D5985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0feee8fd893e54f1d33e44bd1ddcb07e0a052dde","datavalue":{"value":{"entity-type":"item","numeric-id":3759943,"id":"Q3759943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$213B06E1-67E5-485B-A3B5-04E791EBC8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a84be555853de48c870ad3ebd13ff25ae68b38a7","datavalue":{"value":{"entity-type":"item","numeric-id":5590815,"id":"Q5590815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$CCEC4F73-EBB9-440D-86B8-89543F64EFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"101daa25d35e252079857eb7c6694c0a8413697a","datavalue":{"value":{"entity-type":"item","numeric-id":5547174,"id":"Q5547174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$54614320-A377-4191-9806-EFDC51446BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d481d751cf827e9d7a71d4e9b89ab9decbfb07","datavalue":{"value":{"entity-type":"item","numeric-id":5535414,"id":"Q5535414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$AA7658E3-F890-4ECD-8998-C8E37B90B017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$E6154C2A-4ED4-4677-9F7A-8EC5E1026C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89e49da6f69a533cb995e5fb0e07b947527ac39","datavalue":{"value":{"entity-type":"item","numeric-id":3587258,"id":"Q3587258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$9F802E24-4283-4619-B929-F6B1025E8AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b5d86b3b2e305f22a4acc54ca3b563db317be7a","datavalue":{"value":{"entity-type":"item","numeric-id":4190096,"id":"Q4190096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$5D2D92E2-7047-4A32-8216-F961C13397FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$ACBA875C-952C-4A0A-96B1-765C5033F71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"582a65df1b12b43edf2256d93f3704a733686548","datavalue":{"value":{"entity-type":"item","numeric-id":5525259,"id":"Q5525259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$77B28690-9779-47C3-989A-41ADF0D9C896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a4afd0b3b0b8757574f62e3ae80a63d3876f24e","datavalue":{"value":{"entity-type":"item","numeric-id":5533181,"id":"Q5533181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$34371EA6-4AB8-4C0D-B9D7-1CA2D065C422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$ED52041B-A0E0-45FD-97B5-9B73D7538A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f11e8548165a301d01a241362bcf1efce79d1f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3746875,"id":"Q3746875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$01ADDDE2-9523-4E8A-94B9-833C5F30732E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$E10154C3-5644-4E3A-A6A5-7B93DC760A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd70e15b35f8a08de7af7e5f78880a55220bcb51","datavalue":{"value":{"entity-type":"item","numeric-id":2862994,"id":"Q2862994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$7F5B9498-8BB5-4C56-A8AE-C63B34DD2BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5954e312d091ecec503def11f2f40346f48b011d","datavalue":{"value":{"entity-type":"item","numeric-id":4037130,"id":"Q4037130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$DFBB21F1-579D-4E9A-9FA2-A9A9A39C830D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"839dcf18a4dba786bc30ed3e6bcd9bd6fd4893eb","datavalue":{"value":{"entity-type":"item","numeric-id":1183435,"id":"Q1183435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7028279$C70DAAE3-FECB-40B3-B2E6-ED9BC18C254C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"State machines for large scale computer software and systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/State_machines_for_large_scale_computer_software_and_systems"}}}}}