{"entities":{"Q1868253":{"pageid":1878995,"ns":120,"title":"Item:Q1868253","lastrevid":71570148,"modified":"2026-04-13T23:07:52Z","type":"item","id":"Q1868253","labels":{"en":{"language":"en","value":"Interpreting first-order theories into a logic of records"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901335"}},"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":"Q1868253$55510EFE-DA43-4875-9823-AF2FF22C7E74","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"721e6b77a16987a0a3ce1769cb7b9ba2fc131284","datavalue":{"value":{"text":"Interpreting first-order theories into a logic of records","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868253$8A75BC96-EB51-4BA9-8028-C060FD89187E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15e33d008b6a7a66526d1781b994eff06201a72f","datavalue":{"value":"1015.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868253$C4A3C011-93DA-439B-8563-8FB5A0DD34C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bda6b8c7b141638e0533b3569a257ae51faffe3d","datavalue":{"value":"10.1023/A:1021849625062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868253$1F78A89E-8D6E-4E7F-B3E9-1F9C605423BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1b5c2ad251d267380420743d4fea487800507f0","datavalue":{"value":{"entity-type":"item","numeric-id":624412,"id":"Q624412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868253$C2353A1F-D103-4E51-B343-29A8E500DDCC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868253$A4B056DB-6CD2-4647-BC41-78A1ADBDE854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868253$23DF4FED-31DC-4C09-AC60-464F59F3B09B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868253$C67094E2-222D-4A92-84EB-5312505D2B40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0391b8d8630d22e2a5cc53c451494390d21c1f37","datavalue":{"value":"1901335","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868253$7712FF7D-363C-4E50-82AD-47E81BCEA5CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"151022764cec5f896514f46e0653a58cdb1c4e59","datavalue":{"value":"arity constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868253$1B2DECE3-5675-4E58-ADEF-79368DEFD7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868253$1EA6C4E8-787D-4339-BB28-726FE4DF5A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23aee95599c40bb47b70cb17e2abce3929a6ca4c","datavalue":{"value":"faithful interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868253$ECCC57F0-2E02-494C-9812-B2F6EA667C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9301d3debecc7f1fa9a0286c57c83b50e2c18f25","datavalue":{"value":"feature tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868253$15A9CD96-839D-430D-BC53-07D0213F0F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868253$2D49C818-8F83-4EFD-B1F1-AE397EDF416E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1619bbd523ade06228f0c56bfdeb51b197a28fa","datavalue":{"value":"independent features","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868253$707BBAFB-DE1A-4D1C-903D-A13004A8F4E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95bbc27298cc75237fbf7e8f3c600f1fd949ea0c","datavalue":{"value":"model extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868253$4298C5EA-D46E-4E6B-8DBC-AC8CE4169979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08423a0a892cc10ee39d3c75f811223370364fad","datavalue":{"value":"record logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868253$D6AE2D88-F749-4F46-AFF9-19ACFA1E9A19","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":"Q1868253$14E57A1E-AB61-4762-B5D0-7782DAC4FCCA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"901e33baa36ba908f2b1874ea174204b18067c5b","datavalue":{"value":"https://doi.org/10.1023/a:1021849625062","type":"string"},"datatype":"url"},"type":"statement","id":"Q1868253$48A5BB0E-2508-4E56-AE18-59B68A6E93DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79f7621d97972d66c459850330a44ac211f3e926","datavalue":{"value":"W1512091184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868253$421C6D2A-2680-43C4-B06B-AE357D546EFA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a5600bd1ee53c585819c5c0bdf4ca727732436","datavalue":{"value":{"entity-type":"item","numeric-id":673135,"id":"Q673135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e60ce1adf671fc86b1689b8663dc06bd5f72e423","datavalue":{"value":{"amount":"+0.7598009705543518","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":"Q1868253$AD825740-A4A2-49D0-BA73-F410F88C2454","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":"2cb71da7b3bd4e5b0a278962df48247129827d25","datavalue":{"value":{"amount":"+0.7311097979545593","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":"Q1868253$979575F3-AF94-43C2-ABC0-394C4C75D2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f540f6cbf481424cd89d2544b2fd9065b1c3baf2","datavalue":{"value":{"entity-type":"item","numeric-id":3989924,"id":"Q3989924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54eaf4d4c3d126f5f993e999651ca4f4b24595a0","datavalue":{"value":{"amount":"+0.7188804149627686","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":"Q1868253$03F41DEE-7397-4C56-9DBE-3AE833455064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c289978c1c236e928ff4b1e3547b0103b1570fd1","datavalue":{"value":{"entity-type":"item","numeric-id":4013802,"id":"Q4013802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5536673147f00116b48c4b7df4e03dfed87c77c0","datavalue":{"value":{"amount":"+0.7145942449569702","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":"Q1868253$5D490544-1C95-4AE0-AA21-489ACA12DB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7603d926518cecb77851d2b638bb20932dad4128","datavalue":{"value":{"entity-type":"item","numeric-id":3125892,"id":"Q3125892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e80a8a1e3fa7b9f14b342834c6e70d168e4b9bc","datavalue":{"value":{"amount":"+0.7133044600486755","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":"Q1868253$D34CFDE4-61F5-442E-B9D1-6849E41A998C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Interpreting first-order theories into a logic of records","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Interpreting_first-order_theories_into_a_logic_of_records"}}}}}