{"entities":{"Q4593950":{"pageid":6623535,"ns":120,"title":"Item:Q4593950","lastrevid":41566690,"modified":"2025-05-05T22:50:29Z","type":"item","id":"Q4593950","labels":{"en":{"language":"en","value":"The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6807573"}},"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":"Q4593950$A3C425C9-1B56-4733-8B63-8984727C1924","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c5e691dd5d83b65a5cdcb135ec46429c2472deac","datavalue":{"value":{"text":"The 3 Frenchmen method proves undecidability of the uniform boundedness for single recursive rule ternary DATALOG Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4593950$B74644FD-6958-48EC-9993-9EF2D4F99A55","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"47c4dce91329d52ac6322139a2e4f059a2feb881","datavalue":{"value":"1379.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593950$1EA7D794-9378-42ED-ABDD-1781D7A599A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd867c09f1e57c7f3515b10c5df187192399f344","datavalue":{"value":"10.1007/3-540-60922-9_35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593950$B48056DC-CCF0-43B4-A3E2-8B34AC7EDD2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc17e3cfe92adeb4ff2e5b343b40508dcb4c5aec","datavalue":{"value":{"entity-type":"item","numeric-id":314824,"id":"Q314824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593950$D77A32A1-A2A1-4BB2-8519-8BFEBC1E2F39","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ff0b2d99a56a6d8e89d3dd31cdda69d3f93833b0","datavalue":{"value":{"entity-type":"item","numeric-id":4593912,"id":"Q4593912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4593950$6CDF6870-13F8-4B40-8517-42DD59198EDC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31b4e05ce401552e06c39f98d03ca03d178174b0","datavalue":{"value":{"time":"+2017-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4593950$6E7819F9-A91E-420A-A760-5E9FD4BE90D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593950$18601683-5306-4933-ACE8-34ADB6CA0B5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593950$EAFBAF40-301C-4774-A0D2-058D45483327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593950$49C1C82E-A477-461D-BE2C-6C82B57088F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593950$0B7B5348-B688-4E09-BB7F-9A02CFB64AFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f37357ae4df23b96f0231174970a994b58369f8","datavalue":{"value":"6807573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593950$253394B2-6DE4-4F00-9998-0D55CD9EBC60","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":"Q4593950$F025786A-9CDB-4763-A0AA-05801984130D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"64000bd2d22e617ad22bee33ca322330ba8fbfe1","datavalue":{"value":"https://doi.org/10.1007/3-540-60922-9_35","type":"string"},"datatype":"url"},"type":"statement","id":"Q4593950$E539974A-AEE7-4958-B594-B019F667FBE0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ca068cefe16031d582ebec58b137a9e2b12577e","datavalue":{"value":"W1516055111","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4593950$A5C628CC-94C3-4E5A-BC8A-AF82C657ACD9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de5106fdc83acb4047749c185e17215873cddc9a","datavalue":{"value":{"entity-type":"item","numeric-id":1123647,"id":"Q1123647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47829dd6fef1a891355c5aac46e179b089bd134f","datavalue":{"value":{"amount":"+0.87142444","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":"Q4593950$C1E85F0D-3B5E-4132-92C2-D8DD30A9432B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69ef71a3296d6d98ffa3996058d4bc93528c6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3128622,"id":"Q3128622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30829bd14bd4c4a87a928fe9d5c38082ecb1b10d","datavalue":{"value":{"amount":"+0.8545212","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":"Q4593950$94BD6DB9-BCFA-4B7A-B12F-629E40CA7792","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f401a107cc1cb2e86bcdd1a4da1202711bb6c3","datavalue":{"value":{"entity-type":"item","numeric-id":4268878,"id":"Q4268878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc3dd6d43b28bcc60fa97d97e78e0a86acf7682f","datavalue":{"value":{"amount":"+0.842919","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":"Q4593950$0373461D-0A84-4574-85CE-82B556E857D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7edfd1c7d4d09e65dc9c239c9ea7bcc5d745e1","datavalue":{"value":{"entity-type":"item","numeric-id":4694701,"id":"Q4694701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8da0804fa4b474e7584b2ee3276e6583215a973a","datavalue":{"value":{"amount":"+0.8319247","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":"Q4593950$659F4A7C-5E54-4BF1-8A2D-39A9AB167C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d5376fe31b8ae70098f24b4a00e7c931aef8da1","datavalue":{"value":{"entity-type":"item","numeric-id":2946600,"id":"Q2946600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a5c55813d54a9515342d787d38c0b499a4049b","datavalue":{"value":{"amount":"+0.82877284","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":"Q4593950$8C066B14-58DF-4DF8-9F6D-327B94EC8CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a03ddb9a67a5b17aed4cf643a0030905ffc1f2b","datavalue":{"value":{"entity-type":"item","numeric-id":3643127,"id":"Q3643127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80ff09d5d3463ee2ee58c1807f6ab95f5b70b43e","datavalue":{"value":{"amount":"+0.8244909","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":"Q4593950$8020465F-2334-475D-A9AC-F16720035686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3775ae5e311fb725961d4de229541a32726b8b12","datavalue":{"value":{"entity-type":"item","numeric-id":2284182,"id":"Q2284182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e6f4578dcdf13c2c938e4b9001240a0a6a69589","datavalue":{"value":{"amount":"+0.8232849","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":"Q4593950$2BFED46A-29DD-4EE6-9661-7ED139856486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8e28e78041c57fdb47dd660f84f78a36a8f808","datavalue":{"value":{"entity-type":"item","numeric-id":4036289,"id":"Q4036289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f9dd09839ad30a95d8b4d49723d7c8ab6c515f7","datavalue":{"value":{"amount":"+0.8154466","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":"Q4593950$C44C2391-E0CF-41D7-B33E-87F112FE585C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc81efe0859376c018f195b8ee907d84a139ee83","datavalue":{"value":{"entity-type":"item","numeric-id":5096840,"id":"Q5096840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b629672d12d0cc7915b64a6fa3a42fc8a23ce4eb","datavalue":{"value":{"amount":"+0.8147523","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":"Q4593950$8AE30215-4B5E-41E3-BBB6-362DFA5519EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"395de9886a35f4fc9a86e87ac09b47a7893e7ab8","datavalue":{"value":{"entity-type":"item","numeric-id":4305348,"id":"Q4305348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"266f1c17c923fb57e43f538bebb7f9f332deee6b","datavalue":{"value":{"amount":"+0.81326926","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":"Q4593950$23384E70-0C59-440D-82B6-02CA1D4CDE4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4593950","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4593950"}}}}}