{"entities":{"Q1092679":{"pageid":1103431,"ns":120,"title":"Item:Q1092679","lastrevid":66939963,"modified":"2026-04-12T13:51:40Z","type":"item","id":"Q1092679","labels":{"en":{"language":"en","value":"Domain-independent formulas and databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4020514"}},"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":"Q1092679$5F7B5017-ABA7-46C7-A257-47BBE7BA665C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34e1f9c64568e2b0f836bb330b9dc51ec9c72af0","datavalue":{"value":{"text":"Domain-independent formulas and databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1092679$887455A5-F48C-411D-B15A-33DA0744EEDD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"535bfb86f067bf65cf5f3ee0f56a282d9ec03e88","datavalue":{"value":"0627.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092679$D39A61EB-94ED-47D4-A0AE-85C43D85811D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbdd00a02f9e8fc55a3952ac4a5a93a498d2a4dc","datavalue":{"value":"10.1016/0304-3975(87)90113-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092679$9FFB19F4-DBC0-4ECF-BBF3-D0B0CB563AC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"208ac1ecaa576a9cd87315bc45c9115be9ba29b4","datavalue":{"value":{"entity-type":"item","numeric-id":1092678,"id":"Q1092678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$76F58C67-FD61-4249-AEC3-D5E1E4307503","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$BDD36260-0BDC-4F3D-8085-F31A89EEA677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1092679$9DD7A48F-A90C-47AC-8380-5799FA2618C9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"49f5bd43b32d06b3f78bf3e0f0fd73fbccd31700","datavalue":{"value":"A proof theoretic characterization of domain-independent formulas in deductive databases is given. On the basis of equivalence to domain- independent formulas, a new class of formulas called ``allowed'' is defined. This leads to the proposed new notion of ``allowed'' databases. It is proved that every allowed database that is definite or hierarchical is domain-independent and that every domain-independent database has an equivalent allowed database (in a certain sense).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092679$BA5DB46A-89A3-4899-A44A-1EEB2B97916C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092679$203F27F6-AD59-4DB8-8D21-10027897EDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092679$FC7D89E5-E779-4FCC-8CF5-6536F973F87E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e76301b7230865303ecda987cd6ec244a2f898e6","datavalue":{"value":"4020514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092679$4D037CE2-7B51-40B8-B08D-32DAE073E4D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092679$6E007A23-01FD-49AD-9E6D-739689C2DF09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f25f957d0c45d6c9194893c0a88569c58a69328","datavalue":{"value":"proof theoretic characterization of domain-independent formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092679$994B6814-8E34-4C79-9D0F-AD7E21569127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04d097e92166179fc1fcdd68d19b99f0cb17dcfc","datavalue":{"value":"deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092679$8B44F1C6-F5F0-422F-9CA0-0F61CC147DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d4bde55585ecbbd20c67493dd9d692f230b6c67","datavalue":{"value":"domain-independent database","type":"string"},"datatype":"string"},"type":"statement","id":"Q1092679$2A8EADAB-1A96-4D87-8EFA-C6C7B7B8221B","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":"Q1092679$06ABB95B-20BF-4C69-B1DC-714D20039D1D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c24719a3b1f6c7869b829a590d591325acd21e53","datavalue":{"value":"https://doi.org/10.1016/0304-3975(87)90113-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1092679$E34CBB2B-E655-44A2-8A07-DAE75A3B1352","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"239b8e23b690ef6783a74fe4da957206510bfc44","datavalue":{"value":"W1976814050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1092679$B2A947C4-F81B-4C22-A355-08F97AEF2DD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1e825f83b50e8e1130715dfc474cbbe8c43bb5","datavalue":{"value":{"entity-type":"item","numeric-id":3706528,"id":"Q3706528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$3A70E04D-D5F6-4232-A94D-6731DAE38922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32aca09a46928a75cfeec41f3ed91ec0ce02dab","datavalue":{"value":{"entity-type":"item","numeric-id":4302819,"id":"Q4302819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$B79E7797-515F-409D-8616-F8B698070A0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055d5178aba9a5f304bf8bfb61481e4178a129b2","datavalue":{"value":{"entity-type":"item","numeric-id":5572333,"id":"Q5572333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$D950A0FD-6FDA-46F9-A8F9-98DDC8DA67F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5deea374b82280f9bb78642ae53787a3c1d6cada","datavalue":{"value":{"entity-type":"item","numeric-id":3340205,"id":"Q3340205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$687D91A9-1F48-415A-8D29-E6D73D2D13C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$989D7EF0-DFC7-4264-A3C7-AA1AB33F5A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a8b109b049839a3b0948fa4e3428772ea4a2026","datavalue":{"value":{"entity-type":"item","numeric-id":3707363,"id":"Q3707363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$A5318E24-661F-4DCB-BAE5-BF22BD63E771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b7a1d134a856bc125567aa80d7392f42d01ae3","datavalue":{"value":{"entity-type":"item","numeric-id":3706525,"id":"Q3706525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$61AF604B-C0E9-4A63-BC17-7BB738E57541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9420bb9d5b7e2566718e9c0eb7217865766a4b","datavalue":{"value":{"entity-type":"item","numeric-id":3719865,"id":"Q3719865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$2134A368-5739-4F87-9AA2-742FEA909207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$848C9289-E01C-4CDF-B28F-24602194AE04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c141352fba382a59943f19a2b1648b3ea929da","datavalue":{"value":{"entity-type":"item","numeric-id":1161312,"id":"Q1161312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$01EA40AE-1BA9-4BB8-AB2E-39FCDE7A001B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c13b845673f1ad4ff3ce278727ee071a2521b88","datavalue":{"value":{"entity-type":"item","numeric-id":3694733,"id":"Q3694733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$1140FD6C-DF58-419C-A1C8-40B197AD34DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$11B4D226-D0EB-437F-9A8F-CA56E9148D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b56d980a451083ae0e015c4a23c8373166f17129","datavalue":{"value":{"entity-type":"item","numeric-id":3348439,"id":"Q3348439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$D405FA46-EEAE-45B9-A39C-443793CC15A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24e2b1149ce2b2b32a3e269212d4e8966138cbba","datavalue":{"value":{"entity-type":"item","numeric-id":3691103,"id":"Q3691103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$60D6A926-7E7B-4676-8D93-687C287C026F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7c40baaf25b1d5ed50dc61c49bd8d22b71da967","datavalue":{"value":{"entity-type":"item","numeric-id":1162832,"id":"Q1162832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1092679$F5C483F6-3474-4434-9351-F30F6543DFF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d486c5bccff88f8ec6528224b5eb8765511f744","datavalue":{"value":{"entity-type":"item","numeric-id":3348439,"id":"Q3348439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"384c2f22444a908cc1efc8c16b92b8cfef267d67","datavalue":{"value":{"amount":"+0.8805077","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1092679$8073DEAF-AB91-4DDC-AE52-F31C1A948E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e36b36df335f701e81168d1e5fdb73b2e005d92","datavalue":{"value":{"entity-type":"item","numeric-id":1338897,"id":"Q1338897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60f573e59dc1ecf2428bbcec1f4ea11d5ceca9b0","datavalue":{"value":{"amount":"+0.8728355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1092679$E6279C91-D9B5-4F34-9035-0F88C623F66C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c53b724f0761e36f67c50ee7849c90091d945a1","datavalue":{"value":{"entity-type":"item","numeric-id":3798295,"id":"Q3798295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98d28d5acd5fcca6e5b36725a325aa012c081161","datavalue":{"value":{"amount":"+0.85150224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1092679$A154B6D3-990C-4990-83CD-FAB02041D908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61200079ad08793547ef499a74fa63728730296a","datavalue":{"value":{"entity-type":"item","numeric-id":1389449,"id":"Q1389449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f50645da50f2af6a15f4543d40afcdfa353ee520","datavalue":{"value":{"amount":"+0.84771675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1092679$F4C5B091-F6CE-45DD-B121-0222EEC6126D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71a8c6d6b8e9491c8c6cc7ab9d31c199d3383dbc","datavalue":{"value":{"entity-type":"item","numeric-id":1123651,"id":"Q1123651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24655122a9a4ffe723d05e9f647234b1fc2299e2","datavalue":{"value":{"amount":"+0.8407787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1092679$A39BDCB5-C7CA-49F8-A35F-390917F86D67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9f600a48ef8583a4d69a217c9b44f89582a4129","datavalue":{"value":{"entity-type":"item","numeric-id":4256669,"id":"Q4256669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56b1feec270711fb662954b0ce97477741e04ab","datavalue":{"value":{"amount":"+0.83725977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1092679$FD7F2DB1-295D-4F70-9C27-5014850A4FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7bfec60291989a9e8d0c9f1139f0a1aef61983d","datavalue":{"value":{"entity-type":"item","numeric-id":1093383,"id":"Q1093383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53d98b1dc855af1b1f40c26cdfca904cac1378cf","datavalue":{"value":{"amount":"+0.8312812","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1092679$B9DB2F7C-B686-4F17-B9DA-60AB6AE14023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec8a9ba8728f3af8ca3d2a76895e233036a60147","datavalue":{"value":{"entity-type":"item","numeric-id":3212273,"id":"Q3212273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cee33ad3c89f530e20209b4ef92e3a32acfc7833","datavalue":{"value":{"amount":"+0.8248601","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1092679$D674A0F0-4FA8-49CE-BA58-A44F4A6F4523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430fafc81a9f118ae5e46811a6b3f070c7e47576","datavalue":{"value":{"entity-type":"item","numeric-id":1812986,"id":"Q1812986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e87d9bb5b807af73d92356019aff488eead8fd9a","datavalue":{"value":{"amount":"+0.82486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1092679$BE040485-1B48-4246-9974-A3056A49A8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45149351578f72b30d9e9b5e5b729ea1edb2e3c2","datavalue":{"value":{"entity-type":"item","numeric-id":3814847,"id":"Q3814847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc8666b526fecdc616ab583f047f0cd55cc48ed3","datavalue":{"value":{"amount":"+0.82424796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1092679$3ABBEE36-D3F6-47B4-9878-63B0DB4650C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Domain-independent formulas and databases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Domain-independent_formulas_and_databases"}}}}}