{"entities":{"Q5866353":{"pageid":7895904,"ns":120,"title":"Item:Q5866353","lastrevid":36854637,"modified":"2024-07-30T03:01:16Z","type":"item","id":"Q5866353","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7589540"}},"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":"Q5866353$24565297-AAEB-46CC-BCC7-A307CA96AB37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"79ff405a54aa434946c5d821fabda05cfd040d94","datavalue":{"value":"1497.68316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866353$D1A56F8D-997F-4D3B-B437-F13219D9E141","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ab0b40502b0353e35a3704d32fdafa7c46c44f5","datavalue":{"value":"10.18255/1818-1015-550-571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866353$518671C0-F809-4E0A-99CD-733505E45530","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15129e4475dd97353c6f308c536436b17409db45","datavalue":{"value":{"entity-type":"item","numeric-id":4645745,"id":"Q4645745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$A978F236-0650-4012-B796-38085F3F4B49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9610eb65351985422b2f79d640ee515b1fce57f8","datavalue":{"value":{"time":"+2022-09-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5866353$2E2349E6-4815-4EA4-B244-1DB453B93451","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1f5d1aea3549e5e72c21ee7a592bce1f82ccf28","datavalue":{"value":"http://mathnet.ru/eng/mais697","type":"string"},"datatype":"url"},"type":"statement","id":"Q5866353$5D7596A2-1028-40DF-9A35-63DB859E9511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866353$27A0A175-18E2-4BDC-A36C-22E02E23811C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866353$02472E5F-7E31-4295-9A2F-D380DF46D09F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdc4771e4dc18850ed54d10e4098e2edbdfd724a","datavalue":{"value":"7589540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5866353$D90CFC38-9884-4F1C-9D22-3659F8683DA0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6231476da2fb657d7e3b18751be16b10d4634252","datavalue":{"value":"relational verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866353$D7DCC943-D1C6-4BF3-92BA-262CDB4545A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e47d18da5a3cc46f307e12b53d17a8f72c7da71","datavalue":{"value":"constrained Horn clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866353$53CC08C0-390E-42C9-806D-050151E3835E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"59486a99f5c970283c62c10d842fa4153691080d","datavalue":{"value":"property-directed reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866353$F9B8B749-0F23-4C74-BAE0-D285AEC9847E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4969c9932e3bfc3a8af1f7c92de24c60560ad3e","datavalue":{"value":"relational invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5866353$96FE2A04-DB9D-4096-87C0-9E619EEF333F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$660FCAE9-A21A-42D7-8B07-ACA28BCEB07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"549148d32f0439e7b014790e18353e555528aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":31323,"id":"Q31323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$B60CB4D8-F0E6-4C47-A89E-EBBE31A0D323","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":"Q5866353$1B86FCD1-7A4A-432D-8A49-9D82BD596FAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29a9e63db651327a88d88e2cdc75e51e9cd4afb","datavalue":{"value":{"entity-type":"item","numeric-id":2843329,"id":"Q2843329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$460F9840-A9D7-433E-ADF8-102E204402B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$23A7F526-F0C2-42AE-B0C7-A2EF8CED702D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1060c39f6c78c6c906f6922c72b026efa0999e0","datavalue":{"value":{"entity-type":"item","numeric-id":518396,"id":"Q518396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$2800F85D-0BA6-4DC4-8EEA-35B8E9BC0AD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"229fdcdf833f89bed9b165165cd53a3183da7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":6166141,"id":"Q6166141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$FD0EC5B9-41A2-4F49-9A21-9E6860D2FA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00fd6a3e8c1cf2dd9b085fa696840af6d3bc8290","datavalue":{"value":{"entity-type":"item","numeric-id":1703014,"id":"Q1703014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$22AA10B1-5D5E-4BEF-8476-595B89B7798E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cb34b6e7428e42f8251fed44fb40d3732a20e55","datavalue":{"value":{"entity-type":"item","numeric-id":1664383,"id":"Q1664383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$A9594A3C-4FA1-4E57-B118-7950C25E9148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80a1f57d31f37ba9bd0f9ba09187b833ecd83362","datavalue":{"value":{"entity-type":"item","numeric-id":4645746,"id":"Q4645746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$7B2D1A44-D657-4D9D-8034-F48C8A59FEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8cb4a178343719bb600a8999ac8bf7ae5a989830","datavalue":{"value":{"entity-type":"item","numeric-id":1254848,"id":"Q1254848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$3274E6EF-33D3-4FB0-8ED0-186C47B2C1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$E77C0F79-EB9E-4287-925F-070E82926528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4005b1ea71aceae7826269dffb4b9e393524a878","datavalue":{"value":{"entity-type":"item","numeric-id":2281656,"id":"Q2281656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$13E9A71D-B3B4-4B5F-B0FF-214781F9703D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c93abf431569bdbcea87c1d44b0c664ae14c573d","datavalue":{"value":{"entity-type":"item","numeric-id":6045003,"id":"Q6045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5866353$CD31BA86-7A57-41C8-953D-43CB995ACA00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5866353","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5866353"}}}}}