{"entities":{"Q2729632":{"pageid":2740371,"ns":120,"title":"Item:Q2729632","lastrevid":47644636,"modified":"2026-01-02T07:25:18Z","type":"item","id":"Q2729632","labels":{"en":{"language":"en","value":"Characteristic formulae for timed autoamta"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1623096"}},"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":"Q2729632$6C042E87-C2C9-41F5-B325-25AD1E126558","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad5133378ff7205bbf70ef5ad2816e89f7ed7890","datavalue":{"value":"0974.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729632$3208B73D-ADCB-4B12-AC6D-5CA441ABB77A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$EA8CD12E-C91C-4CF0-9C97-CF1D28CCA0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$ACDF70F6-DB53-41F6-905B-0A2F8551C150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"534bc8e4a7eaf3d5a6c00cafdfb60e4f4981a9d0","datavalue":{"value":{"entity-type":"item","numeric-id":386009,"id":"Q386009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$150EC25D-25F0-4C4A-ADA0-FE340182FC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82f9a1c33c8db484ea516de7b9f556e27ec8260d","datavalue":{"value":{"entity-type":"item","numeric-id":2729631,"id":"Q2729631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$36E07B5A-F75E-4953-9E2E-7DF2A7FE92CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"21322b4cee4b692416038f019edfba12057d18cd","datavalue":{"value":{"time":"+2001-07-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2729632$AE61A382-BC77-4E5F-BBA2-7C1718129C71","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fbc167629ef60d852804e55a15b1de2f47590a3","datavalue":{"value":"https://eudml.org/doc/222071","type":"string"},"datatype":"url"},"type":"statement","id":"Q2729632$5EDCD62A-4C73-4177-BBA1-942B387807FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729632$121B4C6A-F46B-496C-86E2-BED8A9FADAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729632$E5ED6EAC-917B-4C77-8329-898585699805","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91721f4f2e4ec2ccf0532befe1fce3556c5a5994","datavalue":{"value":"1623096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729632$BDED2F48-D91F-4F87-8ACE-DC14FF576027","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af80455816750730ee8224fb7bd8bc9dac261200","datavalue":{"value":"real-time logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729632$1093538C-B767-4DEC-AC3F-F8A4D470F5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43973e833e4867e0eb0d8b5583b013ec2e7c36b1","datavalue":{"value":"timed bisimulation equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2729632$444C1AFB-BFDA-4068-9D03-9DB9CEA1A15C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8aade874f98df86276cbc41969e554df92eb03f8","datavalue":{"value":{"entity-type":"item","numeric-id":24351,"id":"Q24351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$37B87876-6306-4F9E-9404-77D5C93A7EB0","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":"Q2729632$917832CC-0884-42B0-A31C-9D26505F6C7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c816c94731b566f682c2764fcf804f35ad843d3f","datavalue":{"value":"W2111205369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729632$94F0940A-B03C-45CE-91CE-EA5B9795ABEF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03afeab143f32bf98a5cd8b29e8944068bde69b7","datavalue":{"value":{"entity-type":"item","numeric-id":4941895,"id":"Q4941895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$847E5699-C012-43DA-A59F-EA719324342E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$4379839A-1B81-48B0-A3A6-24A6663EF784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c04f13e9ab5c819934bb5e3ee883e8a369b49134","datavalue":{"value":{"entity-type":"item","numeric-id":1323358,"id":"Q1323358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$751A3E44-1866-4311-B8C8-6C935ADEC7D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e10e04f048d4b81a314de290e4814684536f028c","datavalue":{"value":{"entity-type":"item","numeric-id":1188866,"id":"Q1188866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$22E790E1-9ED2-4AD7-81C8-7DF4E376E9F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40f635a48afb14e9e530c9ca5f3f09f5973a7e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4369863,"id":"Q4369863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$A9FD6110-8316-42C1-841E-299FC985F552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$E64FF85B-74D1-4593-A59C-DD76816EF959","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$1F3842B7-7813-4FB5-8C27-ABB44C49342F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"919e9204ec45969523a120a7737cd8514526e8e3","datavalue":{"value":{"entity-type":"item","numeric-id":4036558,"id":"Q4036558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$5405A039-975E-4D36-A0FA-CB8399D36895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f66c7d72619968555f7b4841da4946c8d914c16","datavalue":{"value":{"entity-type":"item","numeric-id":1801498,"id":"Q1801498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$A90C5938-F8F7-4BE2-A32E-435D42BEDD61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"501f3fbd705d11fcaeae25c1782faf1936afe5e3","datavalue":{"value":{"entity-type":"item","numeric-id":1061481,"id":"Q1061481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$8D48AD09-ED50-4BEE-A261-A642C0AAE4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c106f7cc54dee822f9d675291a8678b1806d2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3719814,"id":"Q3719814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$940FCC66-41A0-4D57-997C-0589CE2964FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$940CC48B-64A3-4929-843E-09A42DBAC297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d84ade6a02bd73f79c254069b90a11e1d3dc467","datavalue":{"value":{"entity-type":"item","numeric-id":4095835,"id":"Q4095835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$D8D55F2B-076C-4013-88A3-D64CBF30B7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$E9124A6D-D20D-4B15-B629-90B59C4406E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf54f956180a58a7b1b09efa5870d33c05d087f7","datavalue":{"value":{"entity-type":"item","numeric-id":3569043,"id":"Q3569043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$061CD680-B3D5-4899-B362-DC689422CC47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63b0c20225553192aafbc4437494eef2dc3c5319","datavalue":{"value":{"entity-type":"item","numeric-id":4508303,"id":"Q4508303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$550AC700-0A04-4E14-A00D-45700BCA4BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13ffbb2a00ae3c06220852f238ea41cfa8cb8aa4","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$AC347DB0-D886-4D63-8BF7-C5FF9B344DE3","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":"Q2729632$E8AB4665-A464-481D-A4ED-D5D57C9D8DB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5735069a83c3299190a155d1f226c5bb8283daf","datavalue":{"value":{"entity-type":"item","numeric-id":1322469,"id":"Q1322469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$0F0919AB-F528-4B50-8A79-B9D41B8D071F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$67965D9B-5743-4E84-B21A-D063465F9829","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c6aec1c37368223a0e049e114092bd98103cec8d","datavalue":{"value":"10.1051/ITA:2000131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2729632$7BA26A9B-9176-4099-A433-DBADEA180AA9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"236204f9c7ca74cc29903a2bce0a79f9f5ee9bed","datavalue":{"value":{"text":"Characteristic formulae for timed autoamta","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2729632$2BA3B093-7FE2-4D53-9B9B-6808A28B1419","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f88448172ceeff64deca4b9e915d4e399ebac232","datavalue":{"value":{"entity-type":"item","numeric-id":6551806,"id":"Q6551806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2729632$BAC03454-6A7E-43BB-9A33-7C96FB5A5488","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7e6563c5b4c36e96063878a55dacffcf629d90","datavalue":{"value":{"entity-type":"item","numeric-id":3569043,"id":"Q3569043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44dc47c806298566df84ff9f78e964dc18df5726","datavalue":{"value":{"amount":"+0.8671814799308777","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":"Q2729632$4DDE8347-6216-416B-93DC-433A844B5797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fa2e086a851fa1ebe2d5ecbb06eff1b543fda8b","datavalue":{"value":{"entity-type":"item","numeric-id":2842241,"id":"Q2842241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88af52ef45c453a5753c701db268f39dc6339edc","datavalue":{"value":{"amount":"+0.837276816368103","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":"Q2729632$DE251BD1-0150-4F7B-821C-EA844EAE8F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4929db541abaeff19585802249b189759227a44","datavalue":{"value":{"entity-type":"item","numeric-id":4817528,"id":"Q4817528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6083e198c199f7d867333c44b8b90553db7aedf8","datavalue":{"value":{"amount":"+0.8264291286468506","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":"Q2729632$81BAB43E-3CC7-4861-8FDF-5474E1F1EBF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4072ed096e2cb9f23c63acaa8539f8fd3d1710e","datavalue":{"value":{"amount":"+0.7922208905220032","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":"Q2729632$4FB7D01A-C898-4906-92C9-73829CECC91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d256ee04a23c38f95322cc2ad1b59706caf90c8","datavalue":{"value":{"entity-type":"item","numeric-id":3457972,"id":"Q3457972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f02162e704b3feb942270b191344ace209535a","datavalue":{"value":{"amount":"+0.7899580597877502","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":"Q2729632$F1DD15DA-3A94-4195-8BC1-0AE90AE528BC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2729632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2729632"}}}}}