{"entities":{"Q1059063":{"pageid":1060911,"ns":120,"title":"Item:Q1059063","lastrevid":69534861,"modified":"2026-04-13T07:39:51Z","type":"item","id":"Q1059063","labels":{"en":{"language":"en","value":"A complete, nonredundant algorithm for reversed Skolemization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3902616"}},"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":"Q1059063$BFF04724-1D0D-436F-B3A5-2DF0485B36C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e2d0ab6c01da1ce3b98a275aebba22cdee167d1","datavalue":{"value":{"text":"A complete, nonredundant algorithm for reversed Skolemization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1059063$F85F496A-5F99-418A-BB33-A2C500047E66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"020966e815b5c62a7e9b7d1646f17c2953387ac2","datavalue":{"value":"0566.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059063$ED115958-96DA-46E8-A1FD-9240041BD8F0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b55c258b59df529750394c3a9791b98305c4ea57","datavalue":{"value":"10.1016/0304-3975(83)90022-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059063$33B4FAD0-3575-4938-99C2-66F89D7B994F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c36da6ebdd64df4f4cecf05f6a2dbe883b706a9","datavalue":{"value":{"entity-type":"item","numeric-id":689278,"id":"Q689278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059063$4DA5028F-1616-4A1A-8E05-CE7AABAD8B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c049f8184d4539307dbf318da01898bca06bcf","datavalue":{"value":{"entity-type":"item","numeric-id":1844060,"id":"Q1844060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059063$717D8EB9-ED93-4581-887F-D8F5C3BE618C","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":"Q1059063$65E0E5E2-D83E-4EEC-8E28-1425D42EF3C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q1059063$BB8752AA-53B3-4072-A329-C98CF0395280","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0105b9a60158edd4ea859c51a3b1a6e5c1b1e705","datavalue":{"value":"The paper deals with the problem of reversing Skolemization and presents several algorithms to accomplish wholly this process. All the algorithms are written in a common language form. It is proved that the first of the algorithms is terminating, sound and non-redundant, but not complete. Therefore, the algorithm is preprocessed to the version which already has the properties of halting, soundness and completeness. From these two algorithms a third one is constructed as their combination, and its elementary properties like above are proved. Finally, the objective algorithm is presented for solving the overall process of de- Skolemization, and its termination, soundness, non-redundancy and completeness are proved.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059063$3D92A2C0-4C51-4628-8CB9-0F894B570C51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059063$AD728B32-5F67-414E-B660-DE8D48825564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059063$3141D741-909D-4E53-8910-935619A97F32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b41fdf548be99b43c9eafe40e1bf694e50ff7c6","datavalue":{"value":"3902616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059063$19626525-5643-42E3-8534-3D1F81F12C9A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d607627523840bd0bf4407097f29a3a99ef4a0a8","datavalue":{"value":"algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059063$C0C00ECB-5F3C-4C48-9925-BB6CBE275743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b38e2b056a785ecf93e747b00032f21d578137","datavalue":{"value":"de-Skolemization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1059063$D3F68B42-1E50-42DF-9864-5D864B3FB857","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"be2a52757c5af513b7fb2d5e98fbd88a4a770b60","datavalue":{"value":{"entity-type":"item","numeric-id":1188640,"id":"Q1188640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059063$57810D15-7DE9-465D-8D98-FA5831B4CC88","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":"Q1059063$8D8496DF-E7D9-41B6-9EE5-1B43DCEB6765","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"807c3b4a8993a9d9990b50e93e38e8f1c2861020","datavalue":{"value":"https://doi.org/10.1016/0304-3975(83)90022-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1059063$F79EB6E3-4E2C-45B6-8893-82BF2AC9CBFB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b83c1b7141df8da001323bb6b7cfbedf44fd97c0","datavalue":{"value":"W2088833815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1059063$F5B4FC5A-5B8A-4F3E-93AB-BACF904042A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"214cdf6819cc71f17d3b9a9f8078566e1e91ad0b","datavalue":{"value":{"entity-type":"item","numeric-id":3917510,"id":"Q3917510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059063$C0279186-9AB1-4992-A895-468DC3CE4138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d763c7e8290a5cd6e50548716b378f22c4aa37","datavalue":{"value":{"entity-type":"item","numeric-id":2547494,"id":"Q2547494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1059063$64CF5D0A-F764-4C13-9E82-465373E1B6CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f707ae68881b8985399f3dedb9f33acaef00698c","datavalue":{"value":{"entity-type":"item","numeric-id":2041828,"id":"Q2041828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4115d97ca9d8a86a7ed3dd061001be03ec4988f7","datavalue":{"value":{"amount":"+0.84357005","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":"Q1059063$47E3B953-2173-4556-82DA-C99C3F47750E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e07d1f0724db88d6480a4f0f849219b4fcce15f9","datavalue":{"value":{"entity-type":"item","numeric-id":1269745,"id":"Q1269745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f17209198dfc5eab9f2b3254f508cd6dfb3edd3","datavalue":{"value":{"amount":"+0.8184889","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":"Q1059063$68648BAD-1FAC-4CDF-9DC3-C9EDF2918C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf067feed8f08089f2dc244af1f505aa2d1b49b","datavalue":{"value":{"entity-type":"item","numeric-id":5353520,"id":"Q5353520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8356b45c05a5ea93eb9a3fafaa255d5a6a39e72f","datavalue":{"value":{"amount":"+0.8053446","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":"Q1059063$2805B694-D63B-4B21-BF17-BD1598286309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72dfef4324fd9dbe43ddfb556e3c90c8f335dbaa","datavalue":{"value":{"entity-type":"item","numeric-id":5763830,"id":"Q5763830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0db01191f9acdd0fafbc40257c8acf190b82d2dd","datavalue":{"value":{"amount":"+0.8051051","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":"Q1059063$07CEBF41-B1E8-4D50-ABC0-C524FE905F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd81b487d70957bacc1e1de46a55ff8b6db74ec7","datavalue":{"value":{"entity-type":"item","numeric-id":2200525,"id":"Q2200525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8d3cb86533976ed4238b6b5117febba8c0d64cf","datavalue":{"value":{"amount":"+0.80502605","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":"Q1059063$9BE72879-91E6-4E3A-9AED-69CE5AB27C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd1351be9d1bc19c9edc63a8717edd87941a1a1a","datavalue":{"value":{"entity-type":"item","numeric-id":809104,"id":"Q809104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda14ac4b1bfdb64b334391c40d2876ca32e4423","datavalue":{"value":{"amount":"+0.8041796","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":"Q1059063$295E6B8D-9F39-440D-BC53-05AF5BB530E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc60c9cfefebede577837fd5737d70cadf65f6c9","datavalue":{"value":{"entity-type":"item","numeric-id":1367072,"id":"Q1367072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9a81fa0ee4f0fc75318b5dc43996b829913622","datavalue":{"value":{"amount":"+0.8037257","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":"Q1059063$2C90BB31-A1ED-4C45-9CEE-628B431A1F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cb87ffce05a202a6cc9c6499453c20bfac8241","datavalue":{"value":{"entity-type":"item","numeric-id":450544,"id":"Q450544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7f272ef794dd8e0b1091eab078917c9d97d9481","datavalue":{"value":{"amount":"+0.8034228","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":"Q1059063$577350F9-EB2F-4B56-B2FE-F0EDD8F53BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d61f5be8f135e8122dac00e266bf79708f53d35b","datavalue":{"value":{"entity-type":"item","numeric-id":5284101,"id":"Q5284101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d71ab34d3d967c58b7708fb9c4cf45695d1b6d4","datavalue":{"value":{"amount":"+0.80301124","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":"Q1059063$1F01A4A8-0828-458A-AA26-E599949B3FFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A complete, nonredundant algorithm for reversed Skolemization","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_complete,_nonredundant_algorithm_for_reversed_Skolemization"}}}}}