{"entities":{"Q3776598":{"pageid":5806504,"ns":120,"title":"Item:Q3776598","lastrevid":52237535,"modified":"2026-01-21T05:38:44Z","type":"item","id":"Q3776598","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4037165"}},"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":"Q3776598$83CB24DC-C5A1-4102-8BDF-6E89F1BC2E51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a2f135fbb2cf73935822d209004ff14ae03f8af","datavalue":{"value":"0636.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776598$82D12619-2310-4485-B4BB-1519615F5517","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3776598$DB6A8EC1-5915-421E-B19A-E191B6754D7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776598$A1F48B0A-4122-4B5A-B8EB-54F38CF1A904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776598$C4C332E7-7E33-4A55-945B-57C78FAC1801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776598$E5F38C15-6392-4928-81D2-B05957440EC7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d73e64d4c97c4369f8627aee71c9ad8f74d817ee","datavalue":{"value":"4037165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3776598$3B00D86B-AA87-45EA-A8C6-3EA3274AA77D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776598$CBCA93C3-8502-48AC-BF88-7A6432B7B3C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5909bfd86ba296f2ddb03bd50de7a073dd93e98","datavalue":{"value":"Horn clause theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776598$8CF3D018-D7A0-441F-9853-93160844B69A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea290032d710a04356408d10e3e939703353014e","datavalue":{"value":"functional language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776598$C398C385-1711-48F2-9E0E-094151A69FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776598$4E933EB3-C698-406F-BF29-95DC3189C683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"644db5eb14fd5133e86f4c0c00097d1d6754dc0c","datavalue":{"value":"Computable relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776598$850C3926-1779-468E-B80E-A4E2D6488251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5971ae22eee9bc5275ad78471c331247f9357e4","datavalue":{"value":"set retractions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776598$B65A7107-3E1D-4C0A-B675-6F7620F4A6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776598$B5EED850-800E-405D-9DEF-B850F19B6E86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08876e45e54f2df0920276ef666aa9f6c8565f87","datavalue":{"value":"Herband term","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776598$2ED71C97-8B8E-4B84-8548-3369EBD4419C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3af4f55700a7d0f245dbbc9c7f2a981f2e6267","datavalue":{"value":"Unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3776598$8D40E2F4-75D6-48DB-B964-D354F89F0AEB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7887cc0d8900047b69b9d6ddbb510a9af8b54867","datavalue":{"value":{"entity-type":"item","numeric-id":1284281,"id":"Q1284281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3776598$78775144-DA24-4948-8B19-163645F9DE13","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":"Q3776598$04664696-91F1-4653-9CF6-D5B15E3EB2CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5eee4d34d7c0d057b210437e4716dc3745351f1f","datavalue":{"value":{"entity-type":"item","numeric-id":3817575,"id":"Q3817575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54b924294692ddc9b16ddfcae8edb81a646a902","datavalue":{"value":{"amount":"+0.8688606023788452","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":"Q3776598$EE352192-C974-4381-B077-536CBEBC37EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62764164f29799fe8d0ae8df35215d455fabf373","datavalue":{"value":{"entity-type":"item","numeric-id":3817574,"id":"Q3817574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81c78893198078270f298b76247379afa66ed41e","datavalue":{"value":{"amount":"+0.867090106010437","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":"Q3776598$824873C2-C7CF-4E7D-896C-2DBED36E54F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2352ee682fade91aa8c4661f25c38eb106e5dabd","datavalue":{"value":{"entity-type":"item","numeric-id":4764614,"id":"Q4764614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a51c1a8075f157dbd8344e42e7de4002cd96005","datavalue":{"value":{"amount":"+0.7526544332504272","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":"Q3776598$0F27AC28-7091-44D9-B73C-000DA9E5F0D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ede6ba0c0e8d28e91c6e9c4c3425c22e4a23511","datavalue":{"value":{"entity-type":"item","numeric-id":3339249,"id":"Q3339249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c309c048a2ed08c2cd5b2dc94dce69c3e212e84","datavalue":{"value":{"amount":"+0.7492319345474243","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":"Q3776598$F51AA91A-CD8F-4BEB-9333-5FB0DEC28C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268b6ea4d6cc9d72949b13664da393fc8089d860","datavalue":{"value":{"entity-type":"item","numeric-id":1079941,"id":"Q1079941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d456b3096e7b3bb9e79c2dc621090c24e0c333","datavalue":{"value":{"amount":"+0.7441002130508423","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":"Q3776598$FACADB0A-C61B-4763-8336-F2539D7F48C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3776598","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3776598"}}}}}