{"entities":{"Q3613351":{"pageid":5643257,"ns":120,"title":"Item:Q3613351","lastrevid":50603609,"modified":"2026-01-14T13:13:26Z","type":"item","id":"Q3613351","labels":{"en":{"language":"en","value":"Complete Problems for Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528220"}},"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":"Q3613351$67F33127-1961-4B40-82CF-81181BF365D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"790ad8181a57e1902079edf17b8998ef4f99fbf0","datavalue":{"value":{"text":"Complete Problems for Higher Order Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613351$EB718D71-9FD0-49C0-B4A4-4173C53A63C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2182ec91ec1197265fecdb75b7f786e93fd3dfd3","datavalue":{"value":"1225.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613351$45962E21-D446-48AE-A194-A547BE78165B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9fc0f3efda3d4302e24e995c7adfaddf5f5c5cd","datavalue":{"value":"10.1007/11874683_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613351$9F1A54CE-DB1C-49E9-8891-D9AEE303B957","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613351$40830E5B-C8BE-46CB-BF5C-715B18994BA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5789e6ec676f3de7c8b9169157272f27d94414db","datavalue":{"value":{"entity-type":"item","numeric-id":186060,"id":"Q186060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613351$4FCAE6EB-4588-4204-9753-F0FCA4EE708D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613351$C276BEB6-4A89-4F62-A330-8A5D5080CEDE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613351$741FC1CF-0854-4F3E-AF81-CD45A2BE9518","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613351$343A596C-9F2C-4EAF-BFB6-3C29161579F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613351$22C2B1FE-D6D3-405B-B9C6-EF1573E065A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e91384e2be2fe9d33a183f33cb663428aec4937e","datavalue":{"value":"5528220","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613351$82F1B49C-C5CD-47C2-A291-7F4E006C876C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc61a025d23805ef0c762c087d3f9ea45989791f","datavalue":{"value":"Lindstr\u00f6m quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613351$1AF1486F-B7CB-4990-A537-18B7F63384C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"158dda8c4a746799a6a46ef33bd6a1c279ad7e69","datavalue":{"value":"complete problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613351$6F6EE2C9-32A0-4642-B8D8-9A94FF80EB5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f998f00eab658ec802472cad8ca9638097d79a69","datavalue":{"value":"higher-order logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3613351$CB1DC6BF-6175-4653-917F-0B936305AD68","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":"Q3613351$A779E1F3-9568-4D80-BC3B-AE14F87C061A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c5e6d5f10c025af4b75ecb3cc63170304e88cbf8","datavalue":{"value":"https://doi.org/10.1007/11874683_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613351$A1A1CD04-8711-45C9-A00E-11DDB513E2E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b5890eae73e94ebea189ba0984051c4b710d179","datavalue":{"value":"W1493764813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613351$986216B8-B8A1-4059-BC27-FDFF3C2C9AE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2a60d92e4c9a492bd42c53856e61ea6bc1f0a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4924534,"id":"Q4924534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d63c177c9cae8a537c653681fc4fac25e088f1d","datavalue":{"value":{"amount":"+0.765771746635437","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":"Q3613351$0DA999FE-9D01-4663-B54F-A0164BC07638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fa5d8cc7dee47599020cd4f4e441885fc42ae6f","datavalue":{"value":{"entity-type":"item","numeric-id":2369013,"id":"Q2369013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22777dbb5c75c7a1f24c7e57e67901c5fdca2bd9","datavalue":{"value":{"amount":"+0.7567471265792847","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":"Q3613351$520C1852-2E7C-4B7F-98B5-D36DC8CD2D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c370c38dc3cc02d897b1ba8a0dc6bc5072f0dbd","datavalue":{"value":{"entity-type":"item","numeric-id":4644504,"id":"Q4644504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc263d1a37c0db14f9a8741d1b6a565ce2ce8f03","datavalue":{"value":{"amount":"+0.7474684715270996","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":"Q3613351$441064DB-D00C-4455-817B-09E3A7D9C22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a027f29b3a1e20aa7f2ad66f89128ad7aa90236d","datavalue":{"value":{"entity-type":"item","numeric-id":5898540,"id":"Q5898540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"537e14c50a7a4359ff42323e052b99987945121c","datavalue":{"value":{"amount":"+0.729961097240448","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":"Q3613351$35A48980-E629-40BB-8704-D0A52B36AA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c25e03c60bae296ad08a8a04e944c772534ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2385450,"id":"Q2385450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc3e60950cdcff78eb4738138b7f5c0bb86c2d69","datavalue":{"value":{"amount":"+0.7282652854919434","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":"Q3613351$A0859074-A252-4BA1-A285-5B95816B42DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613351","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613351"}}}}}