{"entities":{"Q6567726":{"pageid":14178881,"ns":120,"title":"Item:Q6567726","lastrevid":95576741,"modified":"2026-06-05T09:19:28Z","type":"item","id":"Q6567726","labels":{"en":{"language":"en","value":"Function definition in higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876673"}},"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":"Q6567726$C50E113A-106E-454F-AEEC-35AF29D90C49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46cfe368330ab849378f42ceed21ebcf1aa37532","datavalue":{"value":{"text":"Function definition in higher-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567726$5D695134-3F64-4D49-8A76-086CEDD811C4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2c76ac6a2d06c72907adbcdae44e87eef2cbf6f","datavalue":{"value":"1543.68411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567726$FDFC92C2-191F-4351-A64B-79E1E4724481","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d512f15aa7dca5445b4f70135bf8aa67126d08e","datavalue":{"value":{"entity-type":"item","numeric-id":1029814,"id":"Q1029814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$D102C90F-3C16-4805-A01C-B6000E81A131","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567726$AAFEBDB8-F5BC-4891-AA88-91F6445AD028","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567726$5F16BB98-27D9-4317-8496-DB6BA4B6F234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567726$522A65C2-AB76-41AE-8F43-065C2AE36839","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c744654657812289a752d138aef563dfd246b105","datavalue":{"value":"7876673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567726$D0B5BCD4-7CA1-462E-9A66-6EDE28AE0DE7","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":"Q6567726$DA3D6F8F-11BE-46E8-8937-4ED674EE8F22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"136b35cf7aca07401b41fc14813db3c01661f856","datavalue":{"value":{"entity-type":"item","numeric-id":3024856,"id":"Q3024856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$18C0F9D3-653D-437B-B5E5-9ED3F6F7EEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$50819ED0-ECFF-40A6-B46B-60B5C8AB9976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c91a62fc73d328b39f05fc8fae0c1a2a5426db9a","datavalue":{"value":{"entity-type":"item","numeric-id":685548,"id":"Q685548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$DD554F08-950E-4315-9C99-85BA91CF4B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"985f9d20828abe33dd544faea2d39ec57ebe7fb0","datavalue":{"value":{"entity-type":"item","numeric-id":3783260,"id":"Q3783260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$561AF81E-FF23-4B38-9960-59306A19868E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2585040e6058cc953401d05dab4a4741915708eb","datavalue":{"value":{"entity-type":"item","numeric-id":1908354,"id":"Q1908354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$080794E8-B7DF-40A4-9F99-FA40FAD1BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84bb99210fcc9b5282870c32fda47e82c20e574e","datavalue":{"value":{"entity-type":"item","numeric-id":6083695,"id":"Q6083695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$32AED319-135A-4011-B47C-E1837E7348FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fff70e9358e0555787fc459ca3d2c7624156bc69","datavalue":{"value":{"entity-type":"item","numeric-id":6061875,"id":"Q6061875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$8B0A5B89-F434-4391-B5A0-14051E2A2FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b67f62053c0da9e304f60e65a89efe6ab3bb050","datavalue":{"value":{"entity-type":"item","numeric-id":1346629,"id":"Q1346629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$386D63BA-7A60-4070-9437-F5B211E4DD2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d120742af8436a54e9c640ab06706d350dfdb2b6","datavalue":{"value":{"entity-type":"item","numeric-id":909488,"id":"Q909488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$D5498BBB-C8EC-475C-B5A9-EA83C046F28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1420eb5b183c580e3eaa2025b4097787d860ff45","datavalue":{"value":{"entity-type":"item","numeric-id":1112584,"id":"Q1112584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$D7635058-745E-422C-A22B-59195AAB77B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35852691e725c71cf8e921b7748b4e2b09da6624","datavalue":{"value":{"entity-type":"item","numeric-id":800739,"id":"Q800739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$A94B7E47-37CF-45BF-A102-F2CEFF45D225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f88db4db4ff3067bd759c8807bea327b3eccfd","datavalue":{"value":{"entity-type":"item","numeric-id":1094421,"id":"Q1094421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$A01EFB4A-FD91-4735-B82D-BC7EABA0F09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8849ca4e4f24816e3df0784725f3c70f4a983b0","datavalue":{"value":{"entity-type":"item","numeric-id":1101251,"id":"Q1101251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$37DA6D15-3238-45E1-8B12-0F43083E51F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b91fc69f3212dedcf04843b18a87064c6d957490","datavalue":{"value":{"entity-type":"item","numeric-id":4850555,"id":"Q4850555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$9F7FB02C-9DB1-48BE-8142-AEA5CDCDE893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"171950b3ab9ade8bc3f4b6d5dc3a4e3f47cef757","datavalue":{"value":{"entity-type":"item","numeric-id":1341666,"id":"Q1341666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567726$CF9A3402-9E37-449C-908E-6B57963A0EC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2c6dd58696b6b02cfbc39f83ed54adb8fde5fe65","datavalue":{"value":"10.1007/BFB0105417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567726$8B1C24C6-BF54-4279-9DBE-FE41C271E4D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb33dbf764138f812d35e37589bcb282274e2082","datavalue":{"value":{"entity-type":"item","numeric-id":3613436,"id":"Q3613436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa00ffaeabb42d8603af6265587052e6059d8437","datavalue":{"value":{"amount":"+0.8428062200546265","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":"Q6567726$5C014463-D98C-48C0-8852-405818B21173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63392152ceac32be176b948e503f3e589a506710","datavalue":{"value":{"entity-type":"item","numeric-id":972425,"id":"Q972425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7276ad1414a4ac8b51d727d810daa162bef03c5f","datavalue":{"value":{"amount":"+0.8356114029884338","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":"Q6567726$D3A8ADDD-1673-43B0-A22E-F08E12EE7E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfed3221a50777b9e0c9ca457fe78020de469a5","datavalue":{"value":{"entity-type":"item","numeric-id":3024856,"id":"Q3024856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed0958e910aa526e955e5fd8c63728a8e6243325","datavalue":{"value":{"amount":"+0.8058784008026123","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":"Q6567726$B1DA39A3-D9F4-40B2-BE71-BC4190EACD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1e7df9e410a17e7a9fe82aa9b0252d2244f09cb","datavalue":{"value":{"entity-type":"item","numeric-id":1029815,"id":"Q1029815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8f7c52047e1de4740bfab6857b79a3650d1e3a2","datavalue":{"value":{"amount":"+0.7559298276901245","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":"Q6567726$01BBDCD1-BEC8-4DFB-B4FE-AD20345751DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1c15c59c0eaf3a881eb72640df088e435697580","datavalue":{"value":{"entity-type":"item","numeric-id":4910419,"id":"Q4910419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f617ff08c7b3eae3e2118f30b3c92851b0ea2711","datavalue":{"value":{"amount":"+0.7458696365356445","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":"Q6567726$7AF9921B-4C35-4531-ADE3-33BB9F466080","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Function definition in higher-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Function_definition_in_higher-order_logic"}}}}}