{"entities":{"Q4501546":{"pageid":6531139,"ns":120,"title":"Item:Q4501546","lastrevid":47014641,"modified":"2025-12-26T01:28:24Z","type":"item","id":"Q4501546","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1500528"}},"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":"Q4501546$6DC2CEE1-5AB5-4E9B-85A1-439CB196932B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5fcaf3dcc4064a4fcb15d43625b70181382f4bcc","datavalue":{"value":"0953.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501546$47E96018-AA98-4ABC-803F-EFA706A2B5D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501546$58883E2C-8852-46FD-95F5-28675F37E26D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4501546$6FEE8FE9-2979-4FBE-A953-65B1B70CC15D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2d1d54670924db26a74d9a3b5e6224e9f60db0e3","datavalue":{"value":{"time":"+2001-01-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4501546$C2E7E9D7-C331-42EC-AD79-413DC19478FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501546$19373D1F-86BD-4EEE-BF3D-C35F6A77E826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501546$C624AFCE-9FD4-49C1-9C1A-02015310DE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501546$B71167BF-2532-41E0-AC3B-692FF9D01833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501546$48863C49-0084-412A-A3B9-0778692522F8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b19fc7e31b10d6ca8f3066f3c60142b15ccac818","datavalue":{"value":"1500528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4501546$B8212C9E-CE63-4788-8203-596AD6C2651F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f59641d56cc28d937ffe6f839abfd87acb56e164","datavalue":{"value":"two counter automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501546$49FB1D41-02E3-4A23-9447-B5BF948C0F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28cb72acfb02595591b305d3c0134ff2223dd2ca","datavalue":{"value":"semilinearity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501546$5F7823AD-0613-4863-9E23-BEB663BF03A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"013bfac2ce68f55ad82a0e172567bccdac02c542","datavalue":{"value":"symbolic reachability tree algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4501546$D00F5E80-F593-467A-847F-E1BB24BDCAF8","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":"Q4501546$F8C3D322-ED38-464D-983E-EB28E93B7185","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8157269a7c87aa5c58e8e0065b9dbf87d6ebb0e2","datavalue":{"value":{"entity-type":"item","numeric-id":5491889,"id":"Q5491889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b853fd92316ff400a42a1c9957a6c62b56078018","datavalue":{"value":{"amount":"+0.7701103687286377","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":"Q4501546$57E76F09-563D-4D1A-935E-B445B9298F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00f9fa2399e874e19344e04843c3ed2cedaa6d45","datavalue":{"value":{"entity-type":"item","numeric-id":4326857,"id":"Q4326857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d260d097eaf63043463d53ef3e35402ae3f79d43","datavalue":{"value":{"amount":"+0.7631633877754211","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":"Q4501546$15FDA7E9-9CB3-42D9-9746-C1A5AABD35D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ea7bef7bca15b9907ddacbf14cb5a5d1585dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4536371,"id":"Q4536371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b417476da89e32df706e2668130e27fb1f172020","datavalue":{"value":{"amount":"+0.7606134414672852","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":"Q4501546$BC64D0B4-77C6-495F-BE45-643F4DE562FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91dcaa2e771d20e6a063917d5340af83910eb70c","datavalue":{"value":{"entity-type":"item","numeric-id":3184686,"id":"Q3184686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78a534fbd0fc57bec556c412073be6d433523331","datavalue":{"value":{"amount":"+0.7601252198219299","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":"Q4501546$1B74C9BE-016F-4F5F-A7CA-0CEF7E612E4E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4501546","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4501546"}}}}}