{"entities":{"Q2996174":{"pageid":3006898,"ns":120,"title":"Item:Q2996174","lastrevid":85884590,"modified":"2026-06-03T12:20:28Z","type":"item","id":"Q2996174","labels":{"en":{"language":"en","value":"The functions provable by first order abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884912"}},"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":"Q2996174$9D9055B6-B5E1-4F50-AC30-EDFFAB8D82F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f784c000c3ab73f869f58fc0cfc611aef505524","datavalue":{"value":{"text":"The Functions Provable by First Order Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996174$D541E58F-E9CE-4801-9E13-83C770AE3B4B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5192c780c2a6bbc75b96ee558aa07cb301c28a67","datavalue":{"value":"1234.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996174$0AEF4974-BE94-4AA1-A110-CD9DD38818D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d76107fbb3d9f5493dc3815919357b2d2b4c60d9","datavalue":{"value":"10.1007/3-540-45653-8_23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996174$1BFF9C00-0BFB-41F6-8618-DA100FDC8216","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96a79d9e749e94f65576b1899e96905ca07e98e1","datavalue":{"value":{"entity-type":"item","numeric-id":234593,"id":"Q234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996174$D8AC1728-3E89-4ADC-B6D5-1E353BA61BDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996174$9018AB33-0963-4C31-80BB-1D947130242E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996174$F265EBF1-A414-4C50-9B99-21EE2AAA5214","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996174$3C41CE14-1EAD-4088-AB6B-4E1E3FF02419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996174$808B22EC-1DA4-4C3F-BC50-15FA3D050840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996174$F52F137C-11F0-4EDA-A3B6-82EE2141AFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996174$1D8967D8-77F2-484E-B6A0-FBC19EF6A4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996174$31D1161B-9374-4EF9-9A1D-AD18B0C15CDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996174$C4365B90-C4B0-4345-ACDF-C35C028A08A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb049283f44c14b5adefdb333a3551b666fdceab","datavalue":{"value":"5884912","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996174$43671FEC-D3FF-4AC6-95C2-6C90B0066680","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":"Q2996174$46B82B5A-A20B-4660-B14E-99411CE70B20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8a132fbf69919ca95d191668892d6e26274a2da","datavalue":{"value":"https://doi.org/10.1007/3-540-45653-8_23","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996174$35BCA858-8AA5-48BC-B1D5-5ACFE6AABB6D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ac3b53207fa108e87826f9306d1e09bd2894497","datavalue":{"value":"W1534957303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996174$C3E89846-FCA1-43A1-877A-3C9AB94DF8FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"833670bd3bd088b706af305752b5050af0579839","datavalue":{"value":{"entity-type":"item","numeric-id":4038725,"id":"Q4038725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8183405ab218452927e600e5cabbc5b25ab8ae","datavalue":{"value":{"amount":"+0.729191243648529","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":"Q2996174$D51CEB5D-B7F3-46C5-A88F-549A4C0167AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8017335f89f865965a68d00ed439173f536cf8e","datavalue":{"value":{"entity-type":"item","numeric-id":4931600,"id":"Q4931600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bacca2d93cca424f5dd60ff379372e3b8b228","datavalue":{"value":{"amount":"+0.7281281352043152","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":"Q2996174$0EC6E94F-8E39-4DF4-9E27-8531E0505BD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59e9124ab0c0ef67b95ab8ab3037041ca69d44b4","datavalue":{"value":{"entity-type":"item","numeric-id":1318282,"id":"Q1318282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7febb02f50efcd7833e5db0cf48bd7f7c259766f","datavalue":{"value":{"amount":"+0.726799488067627","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":"Q2996174$E6CFBDB9-3AC0-4734-A427-E6D4ACF9E27A","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":"45b7dcff75a17b98a35683fcc054c74a93467c5a","datavalue":{"value":{"amount":"+0.7215431928634644","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":"Q2996174$7078DD5A-4DCA-436D-834D-87005774DE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80adb39f6a1057f33b9d5dd8cf3bc61b5f4acc8d","datavalue":{"value":{"entity-type":"item","numeric-id":3138835,"id":"Q3138835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d348e081771875dfc943e373adf78ac9c1904d4","datavalue":{"value":{"amount":"+0.7098824977874756","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":"Q2996174$3B84BD57-7AFC-4AD9-AFAD-4E2E487E6ECD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The functions provable by first order abstraction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_functions_provable_by_first_order_abstraction"}}}}}