{"entities":{"Q3309804":{"pageid":3320512,"ns":120,"title":"Item:Q3309804","lastrevid":48670663,"modified":"2026-01-05T13:51:31Z","type":"item","id":"Q3309804","labels":{"en":{"language":"en","value":"Predicate calculus of arbitrarily high finite order"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3837989"}},"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":"Q3309804$5B41BE88-C214-4AE3-9EC4-744485BBEC02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d4db6e261bdb82fc1a5007a9209b5950c57c00b","datavalue":{"value":{"text":"Predicate calculus of arbitrarily high finite order","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3309804$C5D169FE-54A3-47AB-8A61-C6845BB8EBE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5c92d6a34810b4d01fba41b9e712a42d587581b5","datavalue":{"value":"0528.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309804$85D10B61-E172-448E-AA77-03675D9AF748","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fde7056ed4c4b2b30f1fb66ad636a7b2ef7f3e24","datavalue":{"value":"10.1007/BF02023007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309804$1915EA97-57E4-4BB9-BAB3-A3A1FAD36DBD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7d35598f1714d10c3581343f7ef77742ea3131a","datavalue":{"value":{"entity-type":"item","numeric-id":3043132,"id":"Q3043132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309804$2A1FDE0C-D515-415E-9C4F-0827804CD6CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3309804$B8A7DCCA-E901-4ADA-826D-137EB49A97B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa18cba4d2bac13cc69b3bd773150b23558a9fe0","datavalue":{"value":"https://eudml.org/doc/138001","type":"string"},"datatype":"url"},"type":"statement","id":"Q3309804$63F2E228-72D6-4F81-9943-673D4095704B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309804$696DEEBB-2418-417D-907E-607CB6317070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309804$C74DA316-5EA6-4170-83E1-DE3D0B81E837","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"187a4c12047f69a127dda619088ecce67fe2fd6a","datavalue":{"value":"3837989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309804$8E6457FE-790C-4E23-8DDB-B85D0CB776D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83df4fb2317fb4f07167bab99677f36891f7fdb0","datavalue":{"value":"illative combinatory logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3309804$FBACABE5-8122-4067-AA24-589A393352A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d7a7742b54ec2d03c259f24892f02db2125d6a2","datavalue":{"value":{"entity-type":"item","numeric-id":591019,"id":"Q591019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309804$ECC6CCA7-D9AF-4BF0-A31D-1060241868B5","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":"Q3309804$37B62452-95D7-4A47-A5C8-F936E084DC50","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"57753aa15f2bae4950b84abd6b61ffa3af7bb14f","datavalue":{"value":{"entity-type":"item","numeric-id":2539865,"id":"Q2539865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309804$5EFC29D4-02BC-4789-809F-1BED8780553E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca0e1a5911f5770aab5c7c1dfe8e2e270619678a","datavalue":{"value":{"entity-type":"item","numeric-id":5921176,"id":"Q5921176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309804$C1AB2ABD-FF1B-4FE9-9FC5-861C0754083A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309804$1E4C08E9-405E-4003-8E23-7370FBB17D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bcf3bee7267df6a39acd7f916d4ae2405c53383","datavalue":{"value":{"entity-type":"item","numeric-id":5181344,"id":"Q5181344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309804$2C1B7025-360F-4061-94DA-DC078F11A20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309804$03CAA0B8-8EB4-4EC8-9D19-333E11395063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f0627ee67643240f1eabca59a516fe859beb667","datavalue":{"value":{"entity-type":"item","numeric-id":4753169,"id":"Q4753169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309804$B043E6D6-F8F5-4015-A3D2-2AF4E724038C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dc3e89cda87e0ed81929544f14e88be43f4e902","datavalue":{"value":{"entity-type":"item","numeric-id":4068705,"id":"Q4068705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309804$0A76A2E2-16D0-498F-A1D5-41116A1AC109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a22fa85faa9d642281d23930703514da64b2b26","datavalue":{"value":{"entity-type":"item","numeric-id":1844216,"id":"Q1844216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3309804$0BA27435-3780-4555-8B6B-6679466948C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54567ed24874240186ded489fc9fc1584cb479c1","datavalue":{"value":"W2071926437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3309804$5C081D4D-2138-43B9-9BC7-10AF80FDB4E9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cdbbf38d94910a9a0f0a17040a5b94ca453729","datavalue":{"value":{"entity-type":"item","numeric-id":2869904,"id":"Q2869904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db119b1283fb86c0b6644a3dab0ffeddb1cb21ba","datavalue":{"value":{"amount":"+0.7872418165206909","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":"Q3309804$E97011B6-ECBC-47F2-856B-ADD55D24861C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44b342cb04c66e86ce932c28c0256a33ea88a567","datavalue":{"value":{"entity-type":"item","numeric-id":4735169,"id":"Q4735169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02f26c68de456058cd32052155f25c0208a8fc71","datavalue":{"value":{"amount":"+0.7690061330795288","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":"Q3309804$E50D7E32-872B-434F-BA5B-B52794F552BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf4f03a10edafe7cdc7913a54a58229f242d59a6","datavalue":{"value":{"entity-type":"item","numeric-id":1267843,"id":"Q1267843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"456ea26bf7d6ffa3e5fe8b19cecc087b351bddd1","datavalue":{"value":{"amount":"+0.7551939487457275","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":"Q3309804$3442B5A5-359E-4006-AEF4-04ABD008429D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"587a49a7daad5fa46ff89e84d9876af92480cc5b","datavalue":{"value":{"entity-type":"item","numeric-id":4276020,"id":"Q4276020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1e82990e8742f35376d256a68394ffba5c76dd2","datavalue":{"value":{"amount":"+0.7469019889831543","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":"Q3309804$B0CBBFDB-1CE6-4124-AB2A-2FBC66887044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ced2313f02db6d0fedcf188e6c8b8dfdf5b372","datavalue":{"value":{"entity-type":"item","numeric-id":3322072,"id":"Q3322072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ae6ce53da246680c68b8fa655f98d72888861f","datavalue":{"value":{"amount":"+0.7468891739845276","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":"Q3309804$619C4C55-3D25-4200-B17F-333875C102B3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3309804","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3309804"}}}}}