{"entities":{"Q497872":{"pageid":499639,"ns":120,"title":"Item:Q497872","lastrevid":52351934,"modified":"2026-01-22T10:37:55Z","type":"item","id":"Q497872","labels":{"en":{"language":"en","value":"First-order logic and first-order functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6485449"}},"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":"Q497872$0AC7E373-0165-4485-9B39-12B814FC2DB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"070f4d8951cd82af5478931b7339d8b2d52f7124","datavalue":{"value":{"text":"First-order logic and first-order functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q497872$E88D11BF-9E03-46B3-AD19-739D0A8EE0BD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"425b494b0785a291905c59d734e5e52c0d8f43fe","datavalue":{"value":"1373.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497872$301B0FA0-73B4-4A3B-A56B-49540158B22B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4acd38a1ba9e4e6a2857ec2336c1f78ac7d6ed66","datavalue":{"value":{"entity-type":"item","numeric-id":497871,"id":"Q497871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497872$55F03790-D6D8-457B-993D-5731A92F3095","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497872$B6EF4250-510D-4AE6-A0C2-A47150EDF401","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4e0609c5a0f4d09c0becfc252b99dbb9e89f211","datavalue":{"value":{"time":"+2015-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q497872$56EC72D6-E0CA-495F-8ADC-78C80F56350F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497872$E5CC7A66-D442-4BFA-BB8A-7BED86DBF3FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"857215c657e7857e4ba9d3e5806c889f8240431f","datavalue":{"value":"6485449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497872$10DD4258-4425-497D-82FE-62EEA51D6E0D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q497872$370A4674-16E7-4F15-9DA2-87C3DF8150EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f8fd94d3c8c40575a786ef3f75eab761339642","datavalue":{"value":"foundations of first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q497872$92AC8370-B173-400C-80F8-0C7B6BC128CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q497872$B022CB16-6A01-4BA9-B9D0-37E9E92614CB","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":"Q497872$4646698E-9F93-49BD-B589-D094314BE039","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cbfa9390082743880f5972b4c7c3b308dd8d508a","datavalue":{"value":"https://doi.org/10.1007/s11787-015-0126-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q497872$28A1EE12-9452-48C5-91EF-85B5C89B4705","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"587d5f287e9123d13c11fb9b13427a6a2e56008b","datavalue":{"value":"W218854924","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497872$B242A1BA-5041-44B4-BD57-62E55E16DFC0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c003679823850caf8da604bf5b3c1c48a6c3359d","datavalue":{"value":{"entity-type":"item","numeric-id":5659496,"id":"Q5659496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497872$46B28F44-18D8-4374-A02A-EE03F0DF1B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8e9cd02dd632e29e112ce7d914ed26988a2ca27","datavalue":{"value":{"entity-type":"item","numeric-id":5659497,"id":"Q5659497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497872$617C0FF4-54AC-49E2-8538-D0413CAEE43B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5075a62eb747bdc1a30dd2a302af472e09a2497b","datavalue":{"value":{"entity-type":"item","numeric-id":5818467,"id":"Q5818467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497872$2FE293DA-43D6-4BFF-A825-1654ED31CDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b571086063af426ff51fc5b26795dbb1f0ab002","datavalue":{"value":{"entity-type":"item","numeric-id":3312231,"id":"Q3312231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497872$01D8AF11-AE68-4EE3-9809-C6F4C8262372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87c7dc6af235299e701bc04fb405eb0b14220420","datavalue":{"value":{"entity-type":"item","numeric-id":3707983,"id":"Q3707983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497872$6522EB7E-4B10-4143-8C6E-6C3317674DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ae41416b3c63fb62fa987b6d8dfe2556eabf311","datavalue":{"value":{"entity-type":"item","numeric-id":5845380,"id":"Q5845380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497872$86F93849-2AEB-4F46-86DF-85D4FD94B840","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q497872$2E0C4089-2E3F-4EFD-B0D8-EE02F7CBDA94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04d26455a191ad80d2b438ebbb989b1e13cd607e","datavalue":{"value":"10.1007/S11787-015-0126-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q497872$FF8E8153-DE62-45DB-8BA7-1D11AF414F27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b385eed773debe8321203b8912752d716ca20fb","datavalue":{"value":{"entity-type":"item","numeric-id":3081829,"id":"Q3081829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90808b8dde27e06c251ec364338fac58f484ecc0","datavalue":{"value":{"amount":"+0.7602260708808899","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":"Q497872$23306FF4-E50F-4F76-B7F0-ED9315A3B973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a06ed4976b9b439ff439cc013460bb15e109065","datavalue":{"value":{"entity-type":"item","numeric-id":5501722,"id":"Q5501722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7ba4c7f281fcc82da27e3f714f003fc6d3c1ca","datavalue":{"value":{"amount":"+0.7492155432701111","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":"Q497872$3C49B28E-E7C6-4CAE-8A81-39478D37F859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c760a6f0269c96842b28577095dc4d0c4b16b095","datavalue":{"value":{"entity-type":"item","numeric-id":1934953,"id":"Q1934953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058d72fa648f8a944527f64222a5288e8fa11618","datavalue":{"value":{"amount":"+0.7453988194465637","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":"Q497872$0F8AA05D-75ED-458C-B0F8-79CE3A8507C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e43dbe1520a1337ef3145fb25110ab262401fdd","datavalue":{"value":{"entity-type":"item","numeric-id":5096142,"id":"Q5096142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9ff94660228ee91555eac26745ce63fe910992f","datavalue":{"value":{"amount":"+0.7353386282920837","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":"Q497872$FBF3C3E2-79AE-4455-987D-AE76843AC6CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23e6b9ba67df982a5064636ddf3a7148e4370a3","datavalue":{"value":{"entity-type":"item","numeric-id":3323916,"id":"Q3323916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"178e56e965157655426eb491778a6094ae932352","datavalue":{"value":{"amount":"+0.7310802340507507","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":"Q497872$2DBE7434-E27A-4540-9051-2556851C2858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:497872","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:497872"}}}}}