{"entities":{"Q4249894":{"pageid":6279495,"ns":120,"title":"Item:Q4249894","lastrevid":40791450,"modified":"2025-04-04T17:16:57Z","type":"item","id":"Q4249894","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303341"}},"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":"Q4249894$3FCAB4D5-0D3E-4A23-ACCC-A49438DD0C10","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f3f610814cac1648e340dea8f9c8cdae1c15e64","datavalue":{"value":"0924.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249894$8DFBB5B2-94E7-45E9-981C-D9E0AD2FEE7A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"179b40780f93d89d986b6f1110abe8d9772f7f5c","datavalue":{"value":{"time":"+1999-11-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249894$9FAAF9A4-9A5B-413B-A18B-FF5994D6405A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249894$4E096A1B-547D-462D-A095-D26DE03910B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249894$34D2E1E1-AC4F-4A91-A167-85EEBAA6F9D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d93a0d16ebc4165cfaf32002a59145b4f93f7643","datavalue":{"value":"1303341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249894$8E82943F-1767-48E3-BA38-26CDCE5F2931","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249894$4A15C2BB-35D3-4187-A4E5-EA58745476B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249894$9C81E825-C350-4503-81AC-D124F78B6F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"372cb15de3004a467e66d53d6552e691fb87a439","datavalue":{"value":"unification algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249894$FB0FDCFF-F1C7-4E88-A2A1-1A0959CAB47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55614913dccfc330ed48855b7721f05bea9b8fbd","datavalue":{"value":"most-general-unifier property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249894$814B9936-A7C8-4280-8724-D94B0DEECF35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e01102226a676edcf182ed47a9896bd215db761","datavalue":{"value":"second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249894$E6AFBCE3-9CB2-4A9D-8EF2-41453AD0140C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"810632941a593d1099dec8607de94b96a09fbd7f","datavalue":{"value":"circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249894$867EEAC7-1135-4424-9BF9-0B9496CDAA0F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bce2cc6380726fb10d79b2328ed8cc6bcf2ac9d3","datavalue":{"value":{"entity-type":"item","numeric-id":1224088,"id":"Q1224088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249894$D0D4C646-3556-4F81-A136-0C9617686E10","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":"Q4249894$641D77AC-AA8C-4896-97CF-F2D328E672CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a101ceeae7e1f0868e37466628ea91faa04628bb","datavalue":{"value":{"entity-type":"item","numeric-id":3179400,"id":"Q3179400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ffec7b2677feeee0781071e720da008f826b5a9","datavalue":{"value":{"amount":"+0.90709823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249894$D9BD561B-E29E-466E-BF5F-816EB1BC25A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2842a69ce505d76f527982e81a57a0ca07074c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5286030,"id":"Q5286030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"358f912ee21e86c8c16959c7a4f67e2d4fbb996b","datavalue":{"value":{"amount":"+0.8870265","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249894$F7716A20-2391-42DE-9430-C82EEFC2960A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53df50a555a954244ad4366905f5221a79fc8e37","datavalue":{"value":{"entity-type":"item","numeric-id":1104776,"id":"Q1104776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8e1d3c6fe734a56dfcae310a27c8761412f5b97","datavalue":{"value":{"amount":"+0.8863179","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249894$D6705D82-D84A-4F7D-B36E-01F8A8C494C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a7bf0ddd200185ae55700af2ad9b25803b32505","datavalue":{"value":{"entity-type":"item","numeric-id":987976,"id":"Q987976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61c14813bed3207be78c5126474bd8e3f3fa6a2d","datavalue":{"value":{"amount":"+0.88028157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249894$89A8D4F2-16B6-4D9A-8674-99744A829A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbe9e22684671de6b490667c5366106496076ad2","datavalue":{"value":{"entity-type":"item","numeric-id":3066099,"id":"Q3066099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b2ff8cace7c286e7d68b164ee82733ae00ad8ed","datavalue":{"value":{"amount":"+0.8799157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249894$E14316E3-0E31-4A5E-BB77-F3E4A8235356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fce87e1e4581922017d2f5560c916cadcfe98fc","datavalue":{"value":{"entity-type":"item","numeric-id":5055872,"id":"Q5055872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4705469b79602c9e8ae77f06edf329718292083e","datavalue":{"value":{"amount":"+0.87451327","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249894$81962985-E603-48A7-8A52-A502E54279B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eef1a83f94d3cc84c602e72be9e1d5ed360595af","datavalue":{"value":{"entity-type":"item","numeric-id":5210801,"id":"Q5210801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c53b350be6dee81035a79ec472d8848e90ba2d9","datavalue":{"value":{"amount":"+0.8737571","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249894$B9DC9772-F73F-4FF5-8A94-9413C173DDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06ded6dc1c98bf86743d12afb475edc0ef078641","datavalue":{"value":{"entity-type":"item","numeric-id":1340967,"id":"Q1340967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5448cf652dc7b622c7c47b9af901b5161cbaa0","datavalue":{"value":{"amount":"+0.87218237","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249894$1094E6BA-FC10-4C99-9A0C-22E7DB6EE604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f900978b735a1191d1bd5813b0fb20efd481e48","datavalue":{"value":{"entity-type":"item","numeric-id":4448356,"id":"Q4448356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2a47a4ad121c485d5bee3c1629eb7d5d337b698","datavalue":{"value":{"amount":"+0.8713775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249894$A85834E7-4F5E-40EE-863E-8B6B747A486C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2be1960e618ce37c57df97482506335b28ef4f77","datavalue":{"value":{"entity-type":"item","numeric-id":4723321,"id":"Q4723321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b422190ae9a6a17faf5639ab201580736222871b","datavalue":{"value":{"amount":"+0.86994755","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4249894$D1DA5671-4D20-4E21-AF99-7DB47DDA79DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249894","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249894"}}}}}