{"entities":{"Q4518893":{"pageid":6548486,"ns":120,"title":"Item:Q4518893","lastrevid":47540827,"modified":"2026-01-02T00:51:38Z","type":"item","id":"Q4518893","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538038"}},"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":"Q4518893$25EE8779-93FD-43A0-9744-0387650D4049","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7d180f6046b5258aec035b0e62c4363689b8b8f","datavalue":{"value":"0960.68117","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518893$1AE4AF3B-9E9D-4154-AE5F-378674361F22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd27e91c4471a6c2f2d14ef8212c1a71ddfcbbaf","datavalue":{"value":{"entity-type":"item","numeric-id":453531,"id":"Q453531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518893$9B2165FA-F9F5-4F9D-A978-BDB806E98CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518893$F2DE311D-EDCE-45BB-BBE8-8938050DA0C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adb119921e441e297327ff60c1a7864930c815e","datavalue":{"value":{"time":"+2000-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518893$E18590DF-D003-4C32-8F12-C198420BBDA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518893$FAA02629-5956-42D9-A89B-C87150EBB699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518893$74284537-E98A-4CD6-A588-E5389C58F7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518893$FCC6C265-0F21-44E4-8E90-B5A8332B5B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"77b6f3a09ce6a9fd528d2c275014166cdafa58c7","datavalue":{"value":"93B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518893$C30D646D-C9A5-4E15-8BED-954FCF4F150B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f9ae5f741f7c6d46f90ad486c8bf7b4b44c63f4e","datavalue":{"value":"1538038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518893$D90D2F8A-C999-4915-AAC8-2CF391382D27","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9e80e6fe9dc881af7e09194bf686893cdf27340","datavalue":{"value":"symbolic model-checking procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518893$E6FD2512-4300-41F2-8E60-8A6FDD7D0CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"330aa900b2abb7a2f497c966547b7be9b5c2923a","datavalue":{"value":"HYTECH","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518893$7CC1DEEF-3772-4BC7-A1CB-44DBBF1ED0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f76d075d2a2895d4b235f466c946c5dc2383b9cb","datavalue":{"value":"infinite-state transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518893$AD133931-3EB7-48DD-BABF-939215E2DF62","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":"Q4518893$0462338D-58D0-45A9-801C-A6EF1A416E32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13b6e3008ffc3ca743afd8e7a3f0717f9671bb9a","datavalue":{"value":{"entity-type":"item","numeric-id":1273866,"id":"Q1273866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7071ce1ce220e52b8d9192e9d99b28b6af204508","datavalue":{"value":{"amount":"+0.8267201781272888","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":"Q4518893$62DD09DE-B19B-48FF-A5BA-1E068F881D7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ffbd9df183b52d418963b816400f47f3531f009","datavalue":{"value":{"entity-type":"item","numeric-id":5897960,"id":"Q5897960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3690ac69da200126d4a99bfd14f632d9c9fe46ad","datavalue":{"value":{"amount":"+0.8265702724456787","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":"Q4518893$633F39C2-1D25-4CD8-91CD-C61CA3892BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3907298abd34885c38051a41d0b0f65652cc6f8","datavalue":{"value":{"entity-type":"item","numeric-id":3502655,"id":"Q3502655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb266b40db70c52bad09eca5cf825607c4d3040","datavalue":{"value":{"amount":"+0.8250914216041565","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":"Q4518893$8B6F71CC-7ADC-42E8-A57B-C8CC1B12D114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e40e5715575dfa5a2271b847c916cead66fc9eca","datavalue":{"value":{"entity-type":"item","numeric-id":1960531,"id":"Q1960531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6831a3b9596b195751dc42a8db6735d8d40c02a4","datavalue":{"value":{"amount":"+0.8209062218666077","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":"Q4518893$672747D7-8F71-449C-A2D7-911260DB7807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"080dc784f97d422f30e56964afa2df10bc707388","datavalue":{"value":{"entity-type":"item","numeric-id":4234084,"id":"Q4234084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fc8aab45b05ad57a556a8228d3ecdd1a4582d1","datavalue":{"value":{"amount":"+0.8203577995300293","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":"Q4518893$864577EA-1107-424E-865E-6E8097E613A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518893","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518893"}}}}}