{"entities":{"Q4250255":{"pageid":6279856,"ns":120,"title":"Item:Q4250255","lastrevid":46824660,"modified":"2025-12-25T16:18:46Z","type":"item","id":"Q4250255","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303628"}},"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":"Q4250255$F30F8FF4-695E-4282-99BE-2D7E9E8D8980","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d76eed33b0c71a2fd928a5bfa8aaf3a2f436e1d","datavalue":{"value":"0926.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250255$9F17C118-AD67-4F29-932E-78FAAC18E138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8c3405505d0d73c01e55d1efec5c7e96955a14f","datavalue":{"value":{"entity-type":"item","numeric-id":1066887,"id":"Q1066887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250255$A3B69986-910C-4694-B23C-D78D7678B0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6859fc6fdda561ce847e5098101dd47b5d4060af","datavalue":{"value":{"entity-type":"item","numeric-id":1340507,"id":"Q1340507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250255$DC4F595C-39B5-431A-8A11-FAC2279A3366","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17efae152c5b59503115bb21d795e62311ef5a22","datavalue":{"value":{"time":"+1999-11-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":"Q4250255$61FFAEC2-DE9C-408A-BE69-565A3FE6DD93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250255$28106FEB-EF0C-4618-ABAE-182325CA4F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250255$0DC0E2F7-C29B-43A6-A5F8-4584F5FC6EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250255$01264605-DE4E-4409-8613-66D89A92FFBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"baf39e199ba7f68c1671db94829d494a7a693f8d","datavalue":{"value":"1303628","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250255$5CAF1DF4-E14A-4698-9F63-CD5ED460D679","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fc8a496f940ae640f6375167a0d56259b7758d8","datavalue":{"value":"topological Boolean algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250255$739DD44B-83A0-4BA8-94E6-FF1AE21B7415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b5846bbddf3065d2e8ed75fc494e830cea904f7","datavalue":{"value":"rough equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250255$BD2A983C-05D8-47EE-85DA-F607226B67C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1b0cf56c118e3a64b6d26b7af63ac3a42d54b02","datavalue":{"value":"topological rough algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250255$129620AC-F5DB-41CE-9789-49E6A8FBF3A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69f5d853d9592ea3992e948d14fb1932ce795c7b","datavalue":{"value":"theorem prover daTac","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250255$602054AD-8CF2-47E4-A003-1CE2E7D74503","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":"Q4250255$4A8791F4-5B28-435F-AB95-8E1C10BFC601","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cba7068c136900891b1cafa3e93fe8128357e1e","datavalue":{"value":{"entity-type":"item","numeric-id":3838378,"id":"Q3838378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9f686f84adca29f3873528bf4ab1a5b0148e93e","datavalue":{"value":{"amount":"+0.8095956444740295","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":"Q4250255$3605A2C8-8F29-4CBA-AC72-009BE6DF6D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406dd6b3040a16e0db30e69c8de724e620070978","datavalue":{"value":{"entity-type":"item","numeric-id":4298774,"id":"Q4298774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62f3b2012d18343281ba234775ec67db1e367f9f","datavalue":{"value":{"amount":"+0.7875453233718872","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":"Q4250255$25BF7711-2BB8-432C-93F6-76A400701FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8774da0ea1505c3300dff54a52f7c00978e60bb4","datavalue":{"value":{"entity-type":"item","numeric-id":5691535,"id":"Q5691535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d27c51cc2183e89bce0206403e74faf5113a8b3d","datavalue":{"value":{"amount":"+0.7870694994926453","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":"Q4250255$0ADA39C1-31AF-43C2-A079-C536D97D46A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee40527d70479c7313f8b12978ecb38a9e58f1a6","datavalue":{"value":{"entity-type":"item","numeric-id":4697913,"id":"Q4697913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61be2b09bb203978b8aa43d4b49430d439f2ad31","datavalue":{"value":{"amount":"+0.7800703644752502","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":"Q4250255$A73A4524-91DF-4AA4-985B-409A2B8D560E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250255","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250255"}}}}}