{"entities":{"Q4972173":{"pageid":7001752,"ns":120,"title":"Item:Q4972173","lastrevid":58386696,"modified":"2026-04-05T00:08:16Z","type":"item","id":"Q4972173","labels":{"en":{"language":"en","value":"Adding Successor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135672"}},"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":"Q4972173$FD22373C-A3A3-4CFA-BB09-8A549B80BE2A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"18e43437c2f7ba5b4389a7a909d964bec0027ea9","datavalue":{"value":{"text":"Adding Successor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972173$2816DE41-3B12-4452-B4F8-392C229AE61F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"741425cb70154210daaef9382d4f5c37f64a2f55","datavalue":{"value":"1433.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972173$6B49744A-021A-4FFF-8FC0-9A5CF8FFB32F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a4af28cdb0fefa803b5fb66764e08d802230d03c","datavalue":{"value":"10.1145/3356339","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972173$C0B686BD-4781-428C-AFF8-C85E024362BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"04505ecacd68116a0ece2a7909fff98d90bdfc19","datavalue":{"value":{"entity-type":"item","numeric-id":782558,"id":"Q782558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972173$88B18020-4570-46C0-B5AC-E7AC952351BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcf6ed4348178955f4994e3572da1b75de1cd896","datavalue":{"value":{"entity-type":"item","numeric-id":814805,"id":"Q814805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972173$648DB475-582C-4433-9A68-A20447E51E4B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972173$3B89AB74-DD05-4279-B251-E64B6441FCFA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972173$C5022CCA-1F80-479E-A4E3-EDF321A76BA9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"311aada0662c27a906f8409514ec4f90d9584fd6","datavalue":{"value":"https://arxiv.org/abs/1709.10052","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972173$8684660F-E1F8-4911-9BB0-FEF615F1D126","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972173$22AA53C6-9E07-4EF2-B17A-649EB0728C3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972173$0BCDC00C-5358-41AB-A9BF-617A3CF207C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2846d261895a1ab8d7c27605867fa747304007f0","datavalue":{"value":"7135672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972173$DB233916-FEB1-40DE-A33B-918C0DB9A398","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972173$53F4AC6B-FE79-48F0-A938-F9BE534E030B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5fcd8cee7504b1e60e2595818504edf84ed49597","datavalue":{"value":"covering problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972173$249B5F2C-2425-4326-A971-2609F0508572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f3464b79feb75c55754da15265c55c606ad2d60","datavalue":{"value":"decidable characterization","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972173$14E93C7E-185F-449C-97C2-B8972D4A4090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972173$E34909C6-8361-4BE7-A634-AA71B70B0AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a2a5aaf2813613e191091bab6a7937bd2f6db3d","datavalue":{"value":"membership problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972173$EB14E9C1-7509-43D9-B843-1A2AF1B6A804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8060896d16b7a947d2d545c9827a67905e8fbcc2","datavalue":{"value":"separation problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972173$E9DE3759-B775-4C2E-8EE3-51EEF2A5140C","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":"Q4972173$BD30D10E-80F9-4AC8-824C-BCCF5C64466C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed738fb9066029bb8b3eaf8efcce9315a479ab20","datavalue":{"value":"W2988492552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972173$5C95DD25-996D-44ED-AF91-372B3B4B3148","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae1c4d560874ee082eee7b19a72f5b6de511504","datavalue":{"value":{"entity-type":"item","numeric-id":3753099,"id":"Q3753099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db0a3ea0019b4dd047bea87b557530d20613f4bf","datavalue":{"value":{"amount":"+0.8318151","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":"Q4972173$733273E4-843A-4FAC-865D-431FE76D8810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c570b2be184f4e38150ac1f0ea8c32846094a288","datavalue":{"value":{"entity-type":"item","numeric-id":4357530,"id":"Q4357530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b167f6df727573080b91edadc9ef580fbc394d8","datavalue":{"value":{"amount":"+0.83039033","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":"Q4972173$42990AAB-6992-4E30-A2E6-AC9096D92236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3015ab8ff3498219c1e63f0aab03eedb57e1054c","datavalue":{"value":{"entity-type":"item","numeric-id":1912667,"id":"Q1912667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"823f103d9dc2e91c30cd1fa6ef759019151f0a1d","datavalue":{"value":{"amount":"+0.8294302","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":"Q4972173$7EE06A38-A664-4CC1-A89D-9A14FC51C163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5999f9357f56acc48e3f52885d57c03079fc4","datavalue":{"value":{"entity-type":"item","numeric-id":1360712,"id":"Q1360712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73e12d943ad964e1e90187e59ec1c4f42ee91a53","datavalue":{"value":{"amount":"+0.8293504","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":"Q4972173$B70041B6-944A-4F6E-BFCA-B63D5929BA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bbb607567dd70a4c96c65f9f535d2bdfd3be304","datavalue":{"value":{"entity-type":"item","numeric-id":4868007,"id":"Q4868007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61027bfad2664829b0008750f368a8a5efe496a5","datavalue":{"value":{"amount":"+0.8291509","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":"Q4972173$A88E2601-2133-4F4E-B770-7090C01145BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bde9431cccd2fac45a075c9624651afbab6fb5d","datavalue":{"value":{"entity-type":"item","numeric-id":3987984,"id":"Q3987984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d64a2e668efec3a99801eaf9743185ba766248","datavalue":{"value":{"amount":"+0.8290323","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":"Q4972173$D01DA178-3F5E-4143-8CB4-A008F7FC9B09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0f2da2e52c6f8f0a01fc86f0c3393ab7491b428","datavalue":{"value":{"entity-type":"item","numeric-id":3542732,"id":"Q3542732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcadaf0676a8d51c27fc6c908f6f3338513ef43f","datavalue":{"value":{"amount":"+0.8279436","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":"Q4972173$7E4A0EF1-1D5E-49B0-A4AC-50966199048D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70e8749dd86fc0ad1924917d8e7e256652e67f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4262576,"id":"Q4262576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8647b1904b1e9163dc00df55b52746b4b7775b95","datavalue":{"value":{"amount":"+0.8276256","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":"Q4972173$069C3103-F65E-4C52-9302-5D64DF1C3DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9069312f12ccdea39a278c24d33104c13f168031","datavalue":{"value":{"entity-type":"item","numeric-id":819686,"id":"Q819686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c784142649fae8caec37427a3a85d40758807bc","datavalue":{"value":{"amount":"+0.82411295","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":"Q4972173$2BA4772A-8A2F-492C-84E8-3E3FCB1501CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b89f0aeb39c67f03c53ac037bc6a1013870c972","datavalue":{"value":{"entity-type":"item","numeric-id":5879179,"id":"Q5879179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fb2f55be448198a2e53dd466c82f5efb03f312f","datavalue":{"value":{"amount":"+0.82326","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":"Q4972173$226F222D-CA3A-4916-8F4B-B355A69A1B00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972173","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972173"}}}}}