{"entities":{"Q1028737":{"pageid":1030585,"ns":120,"title":"Item:Q1028737","lastrevid":66180465,"modified":"2026-04-12T08:05:04Z","type":"item","id":"Q1028737","labels":{"en":{"language":"en","value":"Timed verification of the generic architecture of a memory circuit using parametric timed automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5576075"}},"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":"Q1028737$A28C827C-5EC6-454D-BE5F-D5D47E4458EE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"485bcda52efad9d4cbc48a5de2a31a96ea8fd90e","datavalue":{"value":{"text":"Timed verification of the generic architecture of a memory circuit using parametric timed automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1028737$C5DB1329-ED75-4F2A-9853-085ED2663677","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"044c2deaf5da2f695ef62882bb04f9ed65afa240","datavalue":{"value":"1165.68401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028737$878F6BB7-5AB5-4832-BD92-8A367823738E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"910d5ee4d7f701b00b34e57e548f9db3d32f3d73","datavalue":{"value":{"entity-type":"item","numeric-id":1028733,"id":"Q1028733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$7A73007B-660E-44FF-86CD-F644A1C0628D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"10f309f2cb0d234bbae53fd552f3e432906eb1ce","datavalue":{"value":{"entity-type":"item","numeric-id":1028734,"id":"Q1028734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$D9D5186B-97A1-464F-98BE-DE322C0B6888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d67748a66a6547b8df83562fa8acd362b0e3d1","datavalue":{"value":{"entity-type":"item","numeric-id":1028735,"id":"Q1028735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$2D4D6376-D879-4767-94E0-2D584E1A3491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8469b68c7ddc2524c8a70a55b2913fe4e92213d","datavalue":{"value":{"entity-type":"item","numeric-id":1028736,"id":"Q1028736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$6472C48A-18C4-41C7-A6C5-FD96CA121BFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$2F978F8D-706D-437D-A950-DA59396B6585","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f513387d8e77956d2269c6dd9c3352c2f10f571a","datavalue":{"value":{"time":"+2009-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1028737$4DFB2FB7-1DA6-4797-8F1D-5A21C9B67775","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"776543a90014f3caa46cf5c4208af693c2617b3e","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.545.7643","type":"string"},"datatype":"url"},"type":"statement","id":"Q1028737$1B5499B3-8903-4854-9351-0AD2D32DA306","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028737$1E7774F0-EE6A-449D-BE0C-E0E17A8CE2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028737$AE118635-9B94-4B37-9BF1-591857303151","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"019e14b42d025d1aa806b96e2002b1b775c993bb","datavalue":{"value":"5576075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028737$94E494C1-3BD0-4158-A324-01FC9D3FB0A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d71d6ec509175a147a4a22029e7ef3592c2e6ec3","datavalue":{"value":"memory circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028737$EAA55E63-A80C-4852-B26D-6C58079AEC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a5fa1590acdc7d1088586b7f10610a102a9f832","datavalue":{"value":"timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028737$07E09D95-AF2E-4701-AB37-20D4A52FFB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1028737$0D4D69A1-E341-4BAC-A816-790B2E2B7B54","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6cf9fc054c8d6a68d9124c2db7ee89e021092b9","datavalue":{"value":{"entity-type":"item","numeric-id":14010,"id":"Q14010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$EF33A4D8-23DC-4195-A977-F30C5F66C3FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1bbb858682c1548480529f0f7d5c7f7d8fad436","datavalue":{"value":{"entity-type":"item","numeric-id":16871,"id":"Q16871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$6E6F9E7C-5B80-4B9A-9FE2-DB97DE1726B8","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":"Q1028737$FBCD12BD-FC67-4AE9-B054-EFBE81EB6900","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a228b3cf1557deb80ffffecd5c5acf51432e8c5","datavalue":{"value":"W2023122318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028737$5761BAEC-13AE-4776-A255-93635226EC26","rank":"normal"}],"P223":[{"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":"Q1028737$02D51F92-E379-4C3A-9363-A33BECCA9D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c715c2a955d6ba33d4db4f533044614499ab7a4b","datavalue":{"value":{"entity-type":"item","numeric-id":2842571,"id":"Q2842571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$07599913-3283-4D5F-B702-E1CCFBD84741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2a129780cb98dcff97feb1a7a24525e8220d195","datavalue":{"value":{"entity-type":"item","numeric-id":3511227,"id":"Q3511227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$E3F3B96F-3A16-420B-992E-F904AD6F4287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e928f46ec2cf29941d0b0532ba007525c5e3807f","datavalue":{"value":{"entity-type":"item","numeric-id":5466569,"id":"Q5466569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$D19FA1AA-BFA2-4EE6-8EC6-09B58754E8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fd141145e8ea8fb37817516875d456dca78935e","datavalue":{"value":{"entity-type":"item","numeric-id":1856195,"id":"Q1856195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$20811095-DD66-48EC-9816-8D2FAA059654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ad552f83b89a70cf31c350c478c44ab8f52e858","datavalue":{"value":{"entity-type":"item","numeric-id":5717495,"id":"Q5717495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$DD161B9F-2652-43B7-B969-9D955AC2E554","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e574050348307bcbcfc2e2f0734db761d485e300","datavalue":{"value":{"entity-type":"item","numeric-id":1856194,"id":"Q1856194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1028737$F2B76EAF-0885-4EE8-84F1-EF449D89B51B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b88220478acbdef5c153e84ab63a3f69b73cf5c9","datavalue":{"value":"10.1007/S10703-008-0061-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1028737$E478E65B-5E2C-4ED5-A9E9-360619618725","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f62fe5ee21c561be6f743cb2e6e8424f9b0bee28","datavalue":{"value":{"entity-type":"item","numeric-id":3511227,"id":"Q3511227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27872b03f1028d4070b3160024b963bf26dbb468","datavalue":{"value":{"amount":"+0.9605494737625122","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":"Q1028737$0053F51A-24F6-4043-96C5-56B1269F3D68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e127554853b8a1092a1e3da564ba8c7a7f8ed68","datavalue":{"value":{"entity-type":"item","numeric-id":2842571,"id":"Q2842571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e9d8a9746869453c898c68a69eba13a0cca3cb","datavalue":{"value":{"amount":"+0.8078643083572388","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":"Q1028737$10483F65-226C-446A-BAF0-0D7C51B9FB30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033a083ae7da9b9dd6e7c69613a4208b6d1596d","datavalue":{"value":{"entity-type":"item","numeric-id":4982084,"id":"Q4982084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e896e2e6cae04246ace999c8df4552f93ac34692","datavalue":{"value":{"amount":"+0.7899647355079651","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":"Q1028737$3F6EEE88-A1BF-4474-9CA0-CBD9568A8E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665068f317d1d3c991e0efa3a5cd1a686ce8b4b6","datavalue":{"value":{"entity-type":"item","numeric-id":4417609,"id":"Q4417609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb3e614e59688ef91345e78f8c2233b929f8445","datavalue":{"value":{"amount":"+0.7876299619674683","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":"Q1028737$6FD6C190-B0F1-40C6-9E63-8D65B176653C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545e1ab53716f4fafe9a4a6ba87d1be66a8e3d58","datavalue":{"value":{"entity-type":"item","numeric-id":5295510,"id":"Q5295510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbb1b741ab619ab0ccc59744533789df03177102","datavalue":{"value":{"amount":"+0.7629300951957703","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":"Q1028737$3A2B2F4C-92F7-47A5-AC70-75B13904380C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Timed verification of the generic architecture of a memory circuit using parametric timed automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Timed_verification_of_the_generic_architecture_of_a_memory_circuit_using_parametric_timed_automata"}}}}}