{"entities":{"Q4364537":{"pageid":6394136,"ns":120,"title":"Item:Q4364537","lastrevid":46520322,"modified":"2025-12-24T23:16:50Z","type":"item","id":"Q4364537","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088221"}},"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":"Q4364537$2F72D76B-3ECE-45D2-ABAF-EE0CB7C1A435","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98cac5535a1f9cc6d6081760ed6368f04f8f2706","datavalue":{"value":"0909.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364537$6BA6AF7B-AB60-4D5F-9F3E-CE9F8E7B5C28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c181d2feac21a0f0954982c351421c590c4c609a","datavalue":{"value":{"time":"+1999-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364537$49810055-7057-4987-9CDA-134672B7F365","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364537$AFF67F11-6B3D-442F-B200-F2A1B056A4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364537$99755F69-D5C8-460E-BE70-9B883B9DC461","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9226a2ba0cc4cb34715aa99941831003a71f5acc","datavalue":{"value":"1088221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364537$2D885B79-44E1-4E76-BE7A-A4EF79788B56","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6425fa78d1b903c0370e9ae42c60b472bb84ca54","datavalue":{"value":"generic theorem prover Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364537$BC73B273-DF27-445E-99CA-87048CD923DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d35bdee89dead4700510221649d767f7d06fe923","datavalue":{"value":"proof tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364537$B202590B-16F6-4AC4-9EF7-2EBCBC6016DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"516b4e513eab0a1013eb27af17e8640bd63a987b","datavalue":{"value":"generic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364537$9F9C0C6B-9AF7-49F2-93EF-406D3D019449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364537$1F7678CD-D2D7-4E0E-9CBA-715765C53D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364537$50399D51-7E75-44C9-BFD9-072C40994B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc7cf19c4844f555afeb1874e534e59c2314744","datavalue":{"value":"cryptographic protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364537$19D1191A-ADA8-47ED-8AFA-AD09C8E41D89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364537$99A2104F-FCCB-4B85-A8D8-84F4287679E2","rank":"normal"}],"P1463":[{"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":"Q4364537$B8B78865-529C-4225-9EC3-2B017CCC4A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364537$3F73A28D-AE7F-4F5B-981E-9EBE7BC38590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364537$9CA8346F-AF22-4ED5-925E-DFD6D6386A0D","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":"Q4364537$57B48FBC-5885-4F7B-8028-4272C89020CE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027e66e493294de396e3f06701b232a3660c5eaa","datavalue":{"value":{"entity-type":"item","numeric-id":1823013,"id":"Q1823013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff304d95cbfcda0a81f6f4924ac2f73d9acbb139","datavalue":{"value":{"amount":"+0.8717142939567566","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":"Q4364537$08444C57-3C41-4BBE-A486-1628C7C0D94D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64d0da34755ccd6e49000853dd4fb4bddee1ecd4","datavalue":{"value":{"amount":"+0.854764461517334","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":"Q4364537$EE136573-83EC-4CE4-9CCE-60C383D5D731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8c676f8538b024eb2a80be0edde23296e2c1db","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5177477f9e7357d4f509bb368f9c68787f07eeec","datavalue":{"value":{"amount":"+0.8160312175750732","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":"Q4364537$0B07071D-B58E-49A4-ACE4-39F54BB2561F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de72a55ad8714891c24ede823c98f307f17fcba8","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ada7b762b50bb2744298206c9f2a32de28f3d779","datavalue":{"value":{"amount":"+0.8003330826759338","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":"Q4364537$EE1D1246-01D5-4466-AC9E-CD01849012A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364537","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364537"}}}}}