{"entities":{"Q4435460":{"pageid":6465059,"ns":120,"title":"Item:Q4435460","lastrevid":48196747,"modified":"2026-01-03T22:33:38Z","type":"item","id":"Q4435460","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2003150"}},"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":"Q4435460$02167DDC-CC43-491F-B246-99D8A3E83B7D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13159a58d8b7009ee3c2e121a5efaa93b687bc8d","datavalue":{"value":"1023.68654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435460$D0625054-90E7-4730-905B-195005E72196","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5b3f2efcf958b40022b60d5ff3169a1615bdabb","datavalue":{"value":{"entity-type":"item","numeric-id":470023,"id":"Q470023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435460$6613D40A-BC26-49FA-89EE-303CE9256DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"21d75dcb945540c248584601b42ebed5a2d66b5a","datavalue":{"value":{"entity-type":"item","numeric-id":470024,"id":"Q470024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435460$B3F65EDB-96AC-429C-833C-B23703ED1FB2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49e45237da2fe232f4acd12dcd23ea3c471f3778","datavalue":{"value":{"time":"+2003-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4435460$9E83D2E8-9498-47AF-820F-5F2CD80B2219","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a0eaab229fe5f15103fc26aed3a0e23d83535a2","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2646/26460059.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4435460$472D547D-81E9-47B3-A0EF-53ABD1D114B0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435460$72A88200-DEC6-4B75-A444-FFFA33573A96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435460$4E0BC515-52FA-4F72-B928-10E98519F807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435460$6CD44BAE-E78E-4CEC-BA4E-E01C99C321D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6d3466112529fd8de8cbd1f714b9266716c0a23","datavalue":{"value":"2003150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4435460$66E37FE1-BCCA-4EFF-96C5-AAC8FE98AAD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae3924ef8d5673206632519920f5c164741cb388","datavalue":{"value":"Formal Methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435460$713315A1-1F13-43A6-A8EC-30AB6CB51E31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23956ce4629f8ed1bb2dcc34d3b1613274fe77f6","datavalue":{"value":"Formal Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435460$7152C0F4-597A-49A1-842D-68DFAA1DA3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a3581995deb722d6fd6cff1e41fa33205855b8c","datavalue":{"value":"Shallow Embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435460$FDF9EFEF-1E6B-4019-861E-41582586D106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"559828d9e4b41694f5db7298e822c1b025b3f1b9","datavalue":{"value":"Theorem Proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435460$70A0B5B9-5D60-44A6-9990-A7CC2414ED17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8b48639f881d134d675e6185bc560f3819f8930","datavalue":{"value":"OCL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4435460$83B2EA5F-DEA2-41F9-9C19-6C1FDBD610B0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1fee5b718d44a15e897795331f481c101f7e3d1a","datavalue":{"value":{"entity-type":"item","numeric-id":40951,"id":"Q40951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435460$0F8904AA-D57D-4462-B3D6-91924CECA26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435460$73EED196-D917-4952-BB4C-00F60F2A7BEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435460$134203F7-E6CE-4D8C-BC10-6A4DF235D42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435460$35936E2A-23F3-4AFA-A679-D3B4FB956358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435460$74641610-5D23-44A4-9E17-CBF2254E8BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7aa47621b17d0cd88eea4f1397181a4d6b8f672","datavalue":{"value":{"entity-type":"item","numeric-id":22029,"id":"Q22029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4435460$883DF800-FB52-4730-BD42-420A6CB44FB5","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":"Q4435460$DEB8140B-C9E3-4E46-A2B3-C168BE47B265","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83f0747460c23c00e7426a3b6adbd44620138521","datavalue":{"value":{"entity-type":"item","numeric-id":1322845,"id":"Q1322845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c32d59670eeb3d17fff71617a91e657ebd53352","datavalue":{"value":{"amount":"+0.7366989850997925","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":"Q4435460$9723365F-9055-4D59-823E-165C7A8A90EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fae851aaa7e24c73c13fe14b63ad75dbd47df2e","datavalue":{"value":{"entity-type":"item","numeric-id":2873690,"id":"Q2873690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f0d30bf59455435abf18be5a91200294c8e40e","datavalue":{"value":{"amount":"+0.7178840041160583","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":"Q4435460$CF016176-5929-4E0B-A9D8-17E0E58D96F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dddb2c65dda8513efd063c4f10a52d2af184c67","datavalue":{"value":{"entity-type":"item","numeric-id":5277906,"id":"Q5277906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6509774e01a62b929c9f3674515bb7ee07fc8587","datavalue":{"value":{"amount":"+0.7148597240447998","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":"Q4435460$A245260F-1D1D-4774-9A59-D1624C931890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66bb2ac79eb425e6d340ace0d3214e8a8bc2a028","datavalue":{"value":{"entity-type":"item","numeric-id":3431400,"id":"Q3431400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9c0517888b1eb349e551d69ff546a11257ff1c5","datavalue":{"value":{"amount":"+0.7145479321479797","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":"Q4435460$07F0B9D2-BEFD-49A5-BFF1-587E522400E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ee5c8e0c0cd5ef5979230f2e8f0febb1e8a6aca","datavalue":{"value":{"entity-type":"item","numeric-id":1791193,"id":"Q1791193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b2c3e2aed38272f2bc20fac642b935784c1ba4","datavalue":{"value":{"amount":"+0.706448495388031","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":"Q4435460$8F9BD1AD-6904-42E6-9D34-FC30FEF57729","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4435460","badges":[]}}}}}