{"entities":{"Q3707364":{"pageid":5737270,"ns":120,"title":"Item:Q3707364","lastrevid":50486429,"modified":"2026-01-14T04:31:43Z","type":"item","id":"Q3707364","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3936480"}},"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":"Q3707364$D74604C1-2D4D-4E8B-876C-F899D9D1846A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64635a583acd18d50638965debe3738deda48022","datavalue":{"value":"0584.68023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707364$DDEE1710-7268-4CD5-A1DC-D156CCA68DCB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3707364$FF6EC35A-274D-4277-B4EE-A990C4C9DD68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707364$BAB6F94D-DB47-4EA4-B344-C1710A4A9A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707364$80107561-0E25-4880-ADFF-204ECABDB4AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707364$616B46F6-CB89-45C6-87D5-179E2E4CA89E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39da41c7245ababfb5600949707f4a420f25a86e","datavalue":{"value":"3936480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3707364$5CAF9CF7-DEA1-4DF2-9A77-63A105DA93F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707364$6889629D-2F01-4AB3-A582-2CED0F34EC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de18dddecd3bbac1432dd0e6e36393aa26b523f7","datavalue":{"value":"Horn clause programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707364$F7F70966-6EB9-4D81-AA74-5A479439FD31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e756fe15d489770396478927e027bab09b3a44a4","datavalue":{"value":"Baire topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707364$4AE6CF9B-9168-472F-AFC6-CA2FBB8FAA6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8d0a2d150e8d3c4cb2b9cdeee5bb05c8750f1d","datavalue":{"value":"Herbrand interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707364$0E8F4228-477C-40BE-9DF6-528C6DD66BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf3af4f55700a7d0f245dbbc9c7f2a981f2e6267","datavalue":{"value":"Unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707364$B5261859-46A7-4088-8019-B637F760D79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0935c569cb83e63088b9b56702c72489027a4d56","datavalue":{"value":"fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q3707364$C9B3C0C6-566F-43B3-8516-AB8A56D3E88C","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":"Q3707364$B2713068-46FC-432C-A1CD-4D75627C3E6A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eeebe4d0b5e9ac498c00b4a36d6e96c7f9a0829e","datavalue":{"value":{"entity-type":"item","numeric-id":4289283,"id":"Q4289283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8550c4a50aed54318236780b3067f79227b669b","datavalue":{"value":{"amount":"+0.8349936008453369","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":"Q3707364$67751A15-D09A-4E79-B3EE-AD17EEE0EDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1513c92bdedb60534ccf5c31e99c384ee0963f","datavalue":{"value":{"entity-type":"item","numeric-id":4853319,"id":"Q4853319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da60727da3adb0db3c2e2ea75434d679c21de0f4","datavalue":{"value":{"amount":"+0.8347019553184509","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":"Q3707364$7939CDB6-560A-44DF-84BD-CD467E701738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e99f15548249e3cc0edc21e8e401086cb35e6143","datavalue":{"value":{"entity-type":"item","numeric-id":2639644,"id":"Q2639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b930a1aadb4e3f26c428ff456e5bd97d3574c6","datavalue":{"value":{"amount":"+0.8324124217033386","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":"Q3707364$5B17C707-2773-48F0-AF0B-1E3BF1A0CA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac04f8e7f62ad003a91bfca830dcf6306598f6f","datavalue":{"value":{"amount":"+0.8230276107788086","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":"Q3707364$D04F0CCD-CA31-4B38-B719-5907AFF4B484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d37931c6177b33b8734c9db429eede6c620c5d3","datavalue":{"value":{"entity-type":"item","numeric-id":4299854,"id":"Q4299854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"241b2635c0595b83e09087396ca7fabe3b6f4a36","datavalue":{"value":{"amount":"+0.8219732642173767","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":"Q3707364$58503D31-8F32-4778-AA68-FB1A18F02B45","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3707364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3707364"}}}}}