{"entities":{"Q1615728":{"pageid":1626468,"ns":120,"title":"Item:Q1615728","lastrevid":68137413,"modified":"2026-04-12T21:41:18Z","type":"item","id":"Q1615728","labels":{"en":{"language":"en","value":"On the complexity of formulas in semantic programming"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6969396"}},"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":"Q1615728$AC41C87F-5322-4B9B-BC96-7CCB2C7534E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f78529201f5c7d97f7a1896e70cbcbd4e09b93a7","datavalue":{"value":{"text":"On the complexity of formulas in semantic programming","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1615728$40E44AE0-A90C-4F13-8905-ACAE6E4EF441","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3f051175d146d570130adc8005f66f0ca3e2025","datavalue":{"value":"1403.03061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1615728$C1B481AA-D595-4D36-841A-165D0BAE2B9C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ca85145c5bcf26b9d6b48940983710606ab54cb","datavalue":{"value":{"entity-type":"item","numeric-id":1581051,"id":"Q1581051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$AA398E79-DBD4-481A-9237-8840A7A09855","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91f1446dd2e948e5bd7c8b493f0c85fd16247dd7","datavalue":{"value":{"time":"+2018-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1615728$6DEFCBF6-4026-49E8-AD3D-5E188FACE271","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1615728$1F1517A8-4745-42CF-B225-A8FBEC1A4084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1615728$1DFD3FBD-CE67-41A6-88CB-7C180E304EAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1615728$042C54E0-04D5-412F-8EC3-02455466FA92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"616c79763d9b5d411a39d85657e962a12e114773","datavalue":{"value":"6969396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1615728$4FE344D7-BDCA-4B66-833B-0D82379CB66D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bea455436aa698911c3a9a8b038aacaea9669cb8","datavalue":{"value":"semantic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615728$8545612A-82DF-49C9-9BA0-E1D82537457B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"044a0b91eea67a5cd7e3eb152d3d61e9c6193fb8","datavalue":{"value":"list structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615728$57CC359F-86A0-4D3C-B453-F71A952A5318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5040273bddd005bf2677ee06bc84e0de4c31c261","datavalue":{"value":"polynomial time/space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615728$A8FC6E64-C95E-40DD-A878-52121F7F23EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4696f0589db3aaf36fa2327a60512b64b87bdb4","datavalue":{"value":"\\(\\Delta_0\\)-formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615728$6EF8186F-6F34-4AE7-A1A5-E757F294E255","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":"Q1615728$549AE139-D0F9-4C3B-808A-A38BE9078265","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96df3df16f664736beb562bfd247a0867ba9b0e","datavalue":{"value":{"entity-type":"item","numeric-id":4882531,"id":"Q4882531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$623DA86B-DB0D-4690-8677-2DA8F0705B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$E4C5C691-DCF2-41E1-81C2-CD84C19B5C1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00d12b628041d5952ad4a939ec5765a2c1d10e9b","datavalue":{"value":{"entity-type":"item","numeric-id":3472084,"id":"Q3472084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$35DD746A-1F96-449E-BE95-00189335C119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6517d11182a3029d8cbfaa161cd6c35e2b30c2b1","datavalue":{"value":{"entity-type":"item","numeric-id":3783515,"id":"Q3783515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$C9AA6C95-9807-499D-A87E-160F5C0082D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f03e548f12121ccdc93f3e20ac19e6ad7f6f6fb","datavalue":{"value":{"entity-type":"item","numeric-id":1694705,"id":"Q1694705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$0AB3AE43-1456-4338-92DB-1C8A7D1893CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$A045F478-4E94-4031-8BC6-C6DB70E541E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$66FFF0B5-FFBA-4B3A-9E85-084747B0E541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$93FA4C8B-FAB6-4E7C-91C6-BC834C2B069A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf35016ff0363717730c6663d9b283ddfa7e0993","datavalue":{"value":{"entity-type":"item","numeric-id":1709112,"id":"Q1709112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$5B771017-EEFE-419A-BEE0-4F133325BEE3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615728$490DAD37-4715-4F5B-A1A8-A3250F4008A8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d0b1a45b025a1def4b4e1206480e2e2a06b3b9","datavalue":{"value":{"entity-type":"item","numeric-id":5267425,"id":"Q5267425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33fec31f7d519c4eafacacda64bb5d2d2ef9305","datavalue":{"value":{"amount":"+0.89861774","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":"Q1615728$30388361-A1C2-4C40-A875-7B9A08AC29B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5822dc5200dbc6f529939169c7b02b89d5d61d","datavalue":{"value":{"entity-type":"item","numeric-id":4736513,"id":"Q4736513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33fec31f7d519c4eafacacda64bb5d2d2ef9305","datavalue":{"value":{"amount":"+0.89861774","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":"Q1615728$7BFBD7F2-BABF-4E86-AA45-255B65A78981","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efcd782c72c8baec804be5d31c8790803418577d","datavalue":{"value":{"entity-type":"item","numeric-id":5457670,"id":"Q5457670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8904b1293ef717dca10dc2f40216ea52d61f0b28","datavalue":{"value":{"amount":"+0.896935","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":"Q1615728$1FFE9FBB-CBBB-4758-89F4-998315FD29C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f95f544810dab81cefda4f758c6f8d5de806b6","datavalue":{"value":{"entity-type":"item","numeric-id":5457669,"id":"Q5457669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8904b1293ef717dca10dc2f40216ea52d61f0b28","datavalue":{"value":{"amount":"+0.896935","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":"Q1615728$B07474F2-2EF5-4D07-AC48-F62DFEEE6799","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cff0504ae1c9253af3e8f2ab5f5529aa6fe4d80","datavalue":{"value":{"entity-type":"item","numeric-id":6062761,"id":"Q6062761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f2ea9505b5fd282954be5323b0b547fd3a3008","datavalue":{"value":{"amount":"+0.8947613","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":"Q1615728$1FCA0548-E02F-4D3F-9DDD-B53CE79160BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bbe14e00101f7a7653acfb500cdf6a42dae0d38","datavalue":{"value":{"entity-type":"item","numeric-id":5096241,"id":"Q5096241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f675682d05046dda5395692df027373afa868137","datavalue":{"value":{"amount":"+0.89018005","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":"Q1615728$28AF6EE7-58D5-48AE-BD08-F905F1E0DCF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9daa31305a4bb90d1e56153327610de4f5e0a142","datavalue":{"value":{"entity-type":"item","numeric-id":3495341,"id":"Q3495341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a52f9e6d21b6e48eef0db3f1f4272ef8578cd9eb","datavalue":{"value":{"amount":"+0.8828959","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":"Q1615728$FDE0B975-3461-4FCE-858C-7267464AAC49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e19e77784c701cfdf07eb85ea483ab72521d74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5712546,"id":"Q5712546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae37c90e54acf7c16e2d4b9e98c25b865ca78b56","datavalue":{"value":{"amount":"+0.8823743","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":"Q1615728$8D6B87FC-4DB4-4D80-B7BF-A7376F67DFD9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the complexity of formulas in semantic programming","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_complexity_of_formulas_in_semantic_programming"}}}}}