{"entities":{"Q4845328":{"pageid":6874908,"ns":120,"title":"Item:Q4845328","lastrevid":47351692,"modified":"2026-01-01T11:46:44Z","type":"item","id":"Q4845328","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 795179"}},"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":"Q4845328$C818C47A-82A9-42AF-9941-B60246CD9487","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0cde772474c35088e7ed213eafdf6ab333935e7","datavalue":{"value":"0839.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845328$72737E6D-A0DA-46E6-826C-417F0D673256","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a1529ffb26db2b22f3624b5eae79e54a7bbf813","datavalue":{"value":{"time":"+1995-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4845328$16466AFF-8245-4E0A-BC7A-37EDA2B03777","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845328$2A9A47A5-27A7-4A81-BC8A-743A1A00357B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c3ed9df6c094e22f9753abd3143ca31f23ee8184","datavalue":{"value":"795179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4845328$2DD4C92F-6842-4313-8C4B-C12768767080","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b1ab9e226100401ab3c5ffef9a9123072fb3c27","datavalue":{"value":"automata-theoretic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4845328$0B58FD2E-0C57-4DE2-A732-976AB867861C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a17f242a3e8e18424e964720afec0852d4e8feae","datavalue":{"value":{"entity-type":"item","numeric-id":1696591,"id":"Q1696591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4845328$0212C989-F379-499F-9A63-EA34994CC4D6","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":"Q4845328$BEDBD27D-5186-4D8D-A923-4BC93A7B463F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d4107fd8b3d3ace2ebb9c459e1e4acd9cb07be5","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9324a6fcaa872da442e5a2a643c604f2977ce0","datavalue":{"value":{"amount":"+0.8461136221885681","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":"Q4845328$607DAEEB-DB7B-4142-9D92-A9CD4341902C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27368e38279ddb7ce233acc095a27d5470810532","datavalue":{"value":{"entity-type":"item","numeric-id":4417951,"id":"Q4417951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb9324a6fcaa872da442e5a2a643c604f2977ce0","datavalue":{"value":{"amount":"+0.8461136221885681","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":"Q4845328$E06BE7CE-021C-4A42-BA62-1DB49393223A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39eec0fe8ce20cff9318db251bab33fc3827ffcd","datavalue":{"value":{"entity-type":"item","numeric-id":3787428,"id":"Q3787428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe7bdb05854aeb176f9897e9c46887c05d1e0b3","datavalue":{"value":{"amount":"+0.8343948721885681","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":"Q4845328$F3673EED-3105-48DE-BD53-5D5D09BDE1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fb86f94b226aaa15a9bc00868bfcb4306be8f1","datavalue":{"value":{"entity-type":"item","numeric-id":4218940,"id":"Q4218940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89210757c4313e48fd4bddea844c5a1230a2d7a1","datavalue":{"value":{"amount":"+0.8268828988075256","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":"Q4845328$AFA77019-A9B9-41B7-8A5B-2DF049A94B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"024cbed37b7fde1e1dac412cf215393e649fe204","datavalue":{"value":{"entity-type":"item","numeric-id":1407321,"id":"Q1407321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45ce892c0e75e5e3b594526a73a481faf5988dff","datavalue":{"value":{"amount":"+0.7684227824211121","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":"Q4845328$972E7894-DFE6-42A7-83D9-083853A37AE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4845328","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4845328"}}}}}