{"entities":{"Q5501722":{"pageid":7531282,"ns":120,"title":"Item:Q5501722","lastrevid":52325495,"modified":"2026-01-21T11:13:02Z","type":"item","id":"Q5501722","labels":{"en":{"language":"en","value":"On some applied first-order theories which can be represented by definitions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6472503"}},"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":"Q5501722$35DFDE46-0B44-4A90-A6F3-5A4C7AFB8DC1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c17870c26346d27b381e02c88e500c25071e67f","datavalue":{"value":"1357.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501722$B3336830-CF87-4EF4-B77C-8427801CF235","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f3fac30dab814fb117b83a4f0e7d9c61fe3ff43","datavalue":{"value":{"entity-type":"item","numeric-id":2811649,"id":"Q2811649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501722$0FA2F160-E7F3-4C57-8BAE-76F9BE17EB35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6e707dd4d7213461cc903b9e4b7897b1f5211ea3","datavalue":{"value":{"time":"+2015-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5501722$CEA52BF3-2577-4422-9639-5DDE3C25AEA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f8108d4b43dee1553dbb70bcc6945a9639ada53","datavalue":{"value":"http://www.filozof.uni.lodz.pl/bulletin/pdf/44_12_3.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501722$6E4C074C-50E8-4281-A63A-B56CB70E4036","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501722$2A133F8F-2205-469A-96B8-64A076D9DD11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e3566e9e150bc054a7784e53ce80c8394ff400a0","datavalue":{"value":"6472503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501722$EB9A3712-66F2-471B-A1A6-15D661916CEA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1e0de32a4c7fc556ad371487b32f353f10a043b","datavalue":{"value":"theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501722$0B4EFDD3-57DC-480F-9EFF-6EDEE2EAB3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"875339cb3f12207535ef52022bd8c3b37e16cdba","datavalue":{"value":"definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501722$564034A9-0A24-4C4D-8E06-70709CB30A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501722$13D73FDF-123F-4C65-9764-B56812ECAFC8","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":"Q5501722$044275FF-1D4E-4E1D-9908-3E802847E838","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46510a1698067489170e7a82534a25e071864a99","datavalue":{"value":{"entity-type":"item","numeric-id":2228350,"id":"Q2228350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42a6350774f7f8f99ebcbf8bbff1a5aa294985e5","datavalue":{"value":{"amount":"+0.7807357907295227","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":"Q5501722$C8E17048-7BEB-41EF-9C94-9530C1DA70EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a5e90de1f88f410cc3aadb44fd6e427fa0716da","datavalue":{"value":{"entity-type":"item","numeric-id":2981256,"id":"Q2981256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"256046892dffeae1d8c80f3283561ffed93f7959","datavalue":{"value":{"amount":"+0.7625507116317749","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":"Q5501722$A6774A8A-8E87-44D2-8B1E-8529AD16D5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ddf3474273013aa86ea89bc7579b538b35f2abf","datavalue":{"value":{"entity-type":"item","numeric-id":497872,"id":"Q497872"},"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":"Q5501722$E189C6E5-CB5A-4B7C-A388-0CF02160B867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efb51e75b6f33854c5e989b70a521a281c616f0","datavalue":{"value":{"entity-type":"item","numeric-id":4664260,"id":"Q4664260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0d3d1a8641bd673e8248e9cf87f79261bf3e5c8","datavalue":{"value":{"amount":"+0.7335818409919739","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":"Q5501722$C1147015-AFCB-4CBA-B2FB-19FAAE4F2A71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c00098c83c1628366bf81def805c9d57f240aaf6","datavalue":{"value":{"entity-type":"item","numeric-id":2198318,"id":"Q2198318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b89e39bc238a4184f6df1016385df6fb2827075e","datavalue":{"value":{"amount":"+0.7281956076622009","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":"Q5501722$048A7064-C2FC-436C-BA2B-1FE2DAD4FF70","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501722","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501722"}}}}}