{"entities":{"Q3840929":{"pageid":5870834,"ns":120,"title":"Item:Q3840929","lastrevid":54499208,"modified":"2026-01-27T11:55:44Z","type":"item","id":"Q3840929","labels":{"en":{"language":"en","value":"Updating intensional predicates in deductive databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1190293"}},"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":"Q3840929$9421FD46-0EEE-48DE-972F-9899BAB9EF95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11f4d19c275953333dd3c78ceed8c5bc5db9faa2","datavalue":{"value":{"text":"Updating intensional predicates in deductive databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3840929$994F8F70-21F8-47A0-882A-79D91BE5147A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"192dfedf501e4a926de3e4e5325e453d74245d1e","datavalue":{"value":"0904.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840929$5B35BC92-8257-42CE-828F-D55499400F50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f610362764cd28a69c02b14c6b261614fd3aade","datavalue":{"value":"10.1016/S0169-023X(97)00028-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840929$E6ED7F2A-C5F8-488D-B44D-1283440FFB83","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e581334e6cb7b4bf9007edd100bd25e637035e39","datavalue":{"value":{"entity-type":"item","numeric-id":156168,"id":"Q156168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3840929$49E4568A-EF6D-4D8B-9E58-3658EEC876EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3840929$0FC6D77C-4B10-47FE-9B55-EA9D141EAC69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840929$445DA839-3C24-49C4-A48F-6DD9D0BB0C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840929$1DD0EEDA-E4B8-4486-ABFE-86A98F541502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840929$43B3CFA2-CFAC-44ED-8014-CD0A1C2D2071","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a11c8acc732f79726784cd3c358b78bc64ef4f34","datavalue":{"value":"1190293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3840929$B28086AA-93D4-4F72-A977-C77145E51AD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c161fffdd9c257eefcf55fe288cb1e5c8ebb23e2","datavalue":{"value":"deductive database","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840929$2F2A1FBA-3962-4057-8E96-DDBCEF5542F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"829ca1e536ef76ef92ed2ab157d10567452023f4","datavalue":{"value":"well-founded semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840929$83227947-BA08-4292-BF95-6F987D7B0B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2bdc05fb1005b2d2be1fabd50a21850bbe9fc6e9","datavalue":{"value":"update semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3840929$8508CCC5-27C3-4507-8A99-7FE70409D222","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":"Q3840929$D6902C2C-588A-4EF9-A24B-4B3CAABD2739","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389b6e051eb3c12fa07f3390d26409015c6ac35d","datavalue":{"value":{"entity-type":"item","numeric-id":4031370,"id":"Q4031370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d80f3d91fead3d300ed28f54eb211c4c4777d8c5","datavalue":{"value":{"amount":"+0.8480242490768433","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":"Q3840929$80EBD5CE-619B-4944-9BAA-252FEE003231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d56211e70ef58b4e6f8c97f77b51540233eedda","datavalue":{"value":{"entity-type":"item","numeric-id":1815856,"id":"Q1815856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b82bcfa32ef3147c4aa7b404c248acf014736c9f","datavalue":{"value":{"amount":"+0.8366088271141052","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":"Q3840929$D6B6055C-7674-429C-B401-227C30E5A6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d7204a829a6d3782df49ffa27b01233bb97d324","datavalue":{"value":{"entity-type":"item","numeric-id":1338902,"id":"Q1338902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31344b6906d8bd1f297eb0db09db7330ae029a09","datavalue":{"value":{"amount":"+0.8364890813827515","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":"Q3840929$A06B4842-D997-4BA6-ACFC-2AA588109130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce8ff8629952b7c4373523d4b15cd593ac64a250","datavalue":{"value":{"entity-type":"item","numeric-id":1319392,"id":"Q1319392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7760616492be958c0624145e4ac06ec7c138f67e","datavalue":{"value":{"amount":"+0.8230898976325989","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":"Q3840929$23511B51-AF96-482F-86A4-B5CE4AD8C44D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3840929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3840929"}}}}}