{"entities":{"Q2565987":{"pageid":2576730,"ns":120,"title":"Item:Q2565987","lastrevid":72794661,"modified":"2026-04-14T07:53:06Z","type":"item","id":"Q2565987","labels":{"en":{"language":"en","value":"On the first-order prefix hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2210067"}},"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":"Q2565987$5DD7893B-6012-4AD3-A83F-5D3C5178CF4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e92af144264eeb221160bc90559339229b20a24","datavalue":{"value":{"text":"On the first-order prefix hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2565987$4D252617-6248-4ED1-9782-B6716C8B1CD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4c0566bf8d3a9bcd1b2075326dcaaefb78c0bd7b","datavalue":{"value":"1078.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565987$2F2E8688-E639-4E07-A1ED-0049F0F1E274","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2477c4438484cc2d4b93c5ee2a14c06fcc0c2090","datavalue":{"value":{"entity-type":"item","numeric-id":948885,"id":"Q948885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565987$5356245C-94D2-413F-9D93-3835519374D9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565987$6E50C03E-2B87-41DD-B2A2-C8F5A5534FFD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149818fcb8bed0a5b750a95fd3a49925c0920292","datavalue":{"value":{"time":"+2005-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2565987$E5BE98E6-4C5B-4694-883D-090E80C4C0B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565987$B34E5207-122C-405D-A428-CABD26203858","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565987$5447068F-0261-42F4-B52A-471E8E0D4DE2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7b89a990ce0d0eb9da1fb01fe68e1e6eb2faf464","datavalue":{"value":"2210067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565987$4303334C-F7FE-4321-8461-0842CCA43783","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb6f29529432198cb3d5923e25b41cfd7e515d0a","datavalue":{"value":"first-order prefix","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565987$F194B4C0-7599-443F-9F0D-05661651109B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e16fdb519452f3bafdb17bd5ad06b8194f047110","datavalue":{"value":"expressive power","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565987$FB20B1A9-7528-4B86-AC1B-63EDC5C0637A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd8ade5162d9fb4539001699f2af72f49a9542aa","datavalue":{"value":"fragments of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2565987$BE6CAE02-4673-42E5-AF3A-288B098282C0","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":"Q2565987$6F744B44-45C5-4865-9A13-C2D0440AF2FE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"01a4da94f13f3432720866867616147c520e9300","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1117755146","type":"string"},"datatype":"url"},"type":"statement","id":"Q2565987$904FF04D-8C54-4F3D-B495-01367DB740E3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"07779d3df315a426be5957062ae54b0719357325","datavalue":{"value":"W1994028993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565987$562F77E3-707D-47B3-A425-B4B8535F3E86","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a185de0a08c02daa8d20a3fa13ec564f2ba995c6","datavalue":{"value":{"entity-type":"item","numeric-id":4230339,"id":"Q4230339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565987$D9AB9F59-DDED-4D1F-B31E-FB049C2DFF77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565987$2ECE271C-EB27-471C-A98D-4AC4945AE17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbd8995587648d372cefe8d77018fc0dd6ebc02","datavalue":{"value":{"entity-type":"item","numeric-id":5675695,"id":"Q5675695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565987$8A2C4498-BABC-4BB9-9AE0-267562E9C309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca7bf9ff748343f2efbe736997f3fd4b0e9f589","datavalue":{"value":{"entity-type":"item","numeric-id":5623654,"id":"Q5623654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2565987$989E711F-73B5-429C-B527-BA67A51CBCA3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2724fc84dba68f064f5d17f8e2e46024d4375418","datavalue":{"value":"10.1305/NDJFL/1117755146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2565987$A3646E4B-1578-445C-A136-7F8A879BB164","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01b663e42e16167f767820b45f94dd7f5ffb45fa","datavalue":{"value":{"entity-type":"item","numeric-id":5311712,"id":"Q5311712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"583226677e5cb2fa3a05d7bb74d97c1e0491f776","datavalue":{"value":{"amount":"+0.7508355379104614","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":"Q2565987$C0338326-8C2D-49BD-83D3-C33E565C1643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66a9e3c42f9b255fa46a0b7426981883cf4ca58b","datavalue":{"value":{"entity-type":"item","numeric-id":2930128,"id":"Q2930128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba270ed182cc7dd3494f4163cbba25adb77f2039","datavalue":{"value":{"amount":"+0.7308873534202576","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":"Q2565987$BF457102-6D3B-4866-86EC-24A7D797FB92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73da5313fd295be75d1eb7646a11271e625a3d6a","datavalue":{"value":{"entity-type":"item","numeric-id":4002871,"id":"Q4002871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f26d035eda30dcba47fed38b57d477b445f13df3","datavalue":{"value":{"amount":"+0.7222327589988708","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":"Q2565987$9C4E2B49-6DBB-4EEA-83C7-F8DD6DDB5E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14d4adc382af41e79fae057be0c7945270d75613","datavalue":{"value":{"entity-type":"item","numeric-id":2563982,"id":"Q2563982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1eb648f2154cabf078ebf7526a0219a60d5f6e7e","datavalue":{"value":{"amount":"+0.7214732766151428","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":"Q2565987$69E555B7-E6FA-4224-B94D-FFC7BCC2A71F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ef349337c0b305e18404e070b2ae07e4e737ae7","datavalue":{"value":{"entity-type":"item","numeric-id":3007256,"id":"Q3007256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7935d7e4eca66084138861b7bbcdeb3f7699aa93","datavalue":{"value":{"amount":"+0.719964861869812","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":"Q2565987$49E7C913-AC1C-44D8-AFA6-FF5DE3E43964","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the first-order prefix hierarchy","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_first-order_prefix_hierarchy"}}}}}