{"entities":{"Q4511602":{"pageid":6541195,"ns":120,"title":"Item:Q4511602","lastrevid":47523070,"modified":"2026-01-01T23:35:37Z","type":"item","id":"Q4511602","labels":{"en":{"language":"en","value":"On the search for a finitizable algebraization of first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1523609"}},"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":"Q4511602$BFB11BAA-E842-4B84-A3B7-44F779CAE1C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00ec5707ee217611a62833645ead8f67fef62fbb","datavalue":{"value":{"text":"On the search for a finitizable algebraization of first order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4511602$402DB371-8706-4B60-B4E0-5F6770B2B89B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ab0b4fc22d1d30d115b68a429a608c1cbc38d4f","datavalue":{"value":"0973.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511602$CB7FA7E0-7FB1-41ED-A2CA-9AE90545EDA1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e46a0c110e220042f8c25f69d7566fe58fbf25b7","datavalue":{"value":{"entity-type":"item","numeric-id":514567,"id":"Q514567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511602$68C04B4A-9F4C-487F-AC5F-E3276D32200D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fba7b4effb84a88b7fdd3dc13d46ebf2f476ceee","datavalue":{"value":{"time":"+2001-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4511602$0D6781B7-E1B5-4384-8D44-82FDE8CFA77E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"476fe78eac1aee3d241320cbd05f47d356b4ffd6","datavalue":{"value":"https://semanticscholar.org/paper/025bd90666e81b22befc3e7aa6a2642ee64d522f","type":"string"},"datatype":"url"},"type":"statement","id":"Q4511602$4F3C8E7F-25D8-40CA-8744-8717B6F830B5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511602$61F42996-75E4-4F03-AC70-A4C1D82CCA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511602$634D5DAF-AEE9-4ECE-8B84-1152C9544FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511602$A529DC69-7802-4497-9FB2-E95BC7420CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"328feb8b87ded0da841a7444b6ecdb385c89ee49","datavalue":{"value":"20M30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511602$13394F5B-5F7A-4485-BC78-B047E549D5AA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0de31ab416b261c892e4a830bf0903a6fdd21cc2","datavalue":{"value":"1523609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511602$C75D57BC-DC69-4A59-9708-C3019D2C5AB5","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":"Q4511602$62678434-C616-4910-9938-06B30329CE8D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb1c5e344fa90805856468d8e71fd916411152a1","datavalue":{"value":"W2030879865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511602$88519B2F-7C39-47D5-9577-0229EBBE2A80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"864d334bae514c4c37c7e58c3774f736cb70f358","datavalue":{"value":"10.1093/JIGPAL/8.4.497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4511602$C4F15360-5CC5-47A8-B387-9F0619427C48","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4511602$57C6BA56-4901-4F3C-A8CE-8C2C3932EF26","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece4e568ac51137ba6928ddc9075559f8b974995","datavalue":{"value":{"entity-type":"item","numeric-id":4305492,"id":"Q4305492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb389cc6fcc7cd9a486d00ad4d6a86535c998e89","datavalue":{"value":{"amount":"+0.7999758720397949","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":"Q4511602$3C753014-2630-42F8-B18F-78AA2486EB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49758ae7f0c24f36fed850c61c492dbbf6196fb8","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18669a72895868f6334f402c201f275f3d53689f","datavalue":{"value":{"amount":"+0.7996663451194763","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":"Q4511602$435AC477-7F2F-4FA8-94FC-282922471706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d1ea9facbf02a158db31767438d7113b05348a","datavalue":{"value":{"entity-type":"item","numeric-id":4032865,"id":"Q4032865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d80556ccea67146eefea018c1ee72562a418d9d","datavalue":{"value":{"amount":"+0.767284095287323","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":"Q4511602$E1D3890A-6C30-423D-81A3-6E4C7D56293D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b99bcff2d214f3ac7fe818ed3a0c35e14aa19586","datavalue":{"value":{"entity-type":"item","numeric-id":4873976,"id":"Q4873976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43111c01b420b5f7a864435cc431c7614206ebaa","datavalue":{"value":{"amount":"+0.7576770782470703","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":"Q4511602$FFA61D76-F054-4ED6-9076-8AFB18714005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2649fc2d6c148221c774e5354997f8a5d3ab625","datavalue":{"value":{"entity-type":"item","numeric-id":4357323,"id":"Q4357323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e90bb56a97559799771cd80aa588484f41dac1f","datavalue":{"value":{"amount":"+0.750602126121521","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":"Q4511602$1DF3E129-6735-40A5-B94F-C02FD4B7D028","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4511602","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4511602"}}}}}