{"entities":{"Q4285641":{"pageid":6315242,"ns":120,"title":"Item:Q4285641","lastrevid":41675311,"modified":"2025-05-07T02:15:54Z","type":"item","id":"Q4285641","labels":{"en":{"language":"en","value":"Correctness of unification without occur check in prolog"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 529955"}},"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":"Q4285641$BE353622-FCDD-440E-814A-013FEA433936","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5d91f5741e1c86ef23ac6c0cd8c3c02ea95cee9","datavalue":{"value":{"text":"Correctness of unification without occur check in prolog","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4285641$74308675-EE42-40DB-B843-F77E61A77AC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04f7785cf3444d8e6b939847953cbae478fc1478","datavalue":{"value":"0794.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285641$C03C3CD4-D54F-49E5-BC6F-8B1DE39568E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e161426070d58b7477fb6c4f5b798c380efd72f","datavalue":{"value":"10.1016/0743-1066(94)90048-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285641$D577CC78-1E3B-4FAE-9880-2E8843165DB4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5a0455bdbd3c6bb9633e92150aff79390c6a3ea","datavalue":{"value":{"entity-type":"item","numeric-id":1322850,"id":"Q1322850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4285641$4519572F-50F2-40B6-BA97-CDA161D042FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34f99c9947f4d98af9da609b6496b55645bbe075","datavalue":{"value":{"entity-type":"item","numeric-id":1238600,"id":"Q1238600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4285641$3AAC98E0-A30D-4619-AC40-A71DFB31EBB4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4285641$2E027C2E-8243-4D38-8A7A-EBBD7BE80DDF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf17ffed152fcfc225788e46045afef4af283259","datavalue":{"value":{"time":"+1994-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4285641$0C196888-7EEF-4F2A-A941-ABF4A325FD58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285641$23993008-BF07-4E65-A501-88DBE24377E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285641$D38056BD-209F-410A-8823-4F5D865B9850","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c0ceb1eb9229d6a16f13644147fb00e43af8cae","datavalue":{"value":"529955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285641$41B70B99-5AF5-40B8-8675-67F8A3CF2695","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff67fedbe8c50d3daca036875aed531217cd953b","datavalue":{"value":"Prolog","type":"string"},"datatype":"string"},"type":"statement","id":"Q4285641$DF5CA157-670F-4711-8A9D-4830A58762A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"411fd8184124cf726d3238c93865458f8ce85416","datavalue":{"value":"occur check","type":"string"},"datatype":"string"},"type":"statement","id":"Q4285641$994351EC-71F7-41C0-9CA4-8941580D3351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5911051497a87d55d7d3ecf6bc30252a564044d","datavalue":{"value":"unification algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4285641$598AC760-AA19-47EA-B33A-537F2853DAA6","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":"Q4285641$16A9F87D-1872-430E-A858-8460205B9FC6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"96b435c09ede74ce729717d4530c385a2b387281","datavalue":{"value":"https://doi.org/10.1016/0743-1066(94)90048-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4285641$18310A8A-EEFE-4129-B4DD-2D727B3DFDDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86e0e8d8d125d90dd5b83974b0bac303b41c9141","datavalue":{"value":"W2084591797","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4285641$7B037464-8886-4763-AFAF-BE756F914F8E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17fc9aa8c1f002d1f89b0e6ecfaca75980b8ca9a","datavalue":{"value":{"entity-type":"item","numeric-id":913532,"id":"Q913532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac9ebb36645e728a3d0444b77cc2264bb9dc20f","datavalue":{"value":{"amount":"+0.84455705","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":"Q4285641$74353EC9-A6B2-49B4-BC62-4D1736455F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c428d3dbe11ee59e9f5fc6285a53fb39b368860","datavalue":{"value":{"entity-type":"item","numeric-id":3795190,"id":"Q3795190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cac9ebb36645e728a3d0444b77cc2264bb9dc20f","datavalue":{"value":{"amount":"+0.84455705","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":"Q4285641$50CC70AC-20B4-4203-BE60-8D3473954789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1b8d3669532e2412d2c9759252be38e5bba8c91","datavalue":{"value":{"entity-type":"item","numeric-id":3795209,"id":"Q3795209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5839ad8c86e9016f0f77aacaac53a7e95e623c7","datavalue":{"value":{"amount":"+0.84388626","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":"Q4285641$5CBD6E5D-419E-45A9-82FD-CB25BCD9B2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cf8b907765a9c5786e4df1d55f66fca8bafc6ac","datavalue":{"value":{"entity-type":"item","numeric-id":1077912,"id":"Q1077912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e889b5fbf617bc0f856613c7d8e459027364db2","datavalue":{"value":{"amount":"+0.84148425","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":"Q4285641$58F3E28F-34AE-41F1-A435-AE8A789D76E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63990505fc0a654a16c2418668693703e8214cb0","datavalue":{"value":{"entity-type":"item","numeric-id":2908567,"id":"Q2908567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b49bca112b46cb1635e71a570e0478437a9e48c0","datavalue":{"value":{"amount":"+0.8278077","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":"Q4285641$9B9A8587-C6A8-43E9-BB10-08295DD19C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d038db49661774eae5a303a7e89319226830cd77","datavalue":{"value":{"entity-type":"item","numeric-id":3129513,"id":"Q3129513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fcb4848ed05f9eb9668274404107a7d98056e34","datavalue":{"value":{"amount":"+0.8127085","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":"Q4285641$0B3512E8-1A9C-42F5-B1A6-87AB8B3262CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b5297348b318b2171e975cf85fa5bd9cfdf4280","datavalue":{"value":{"entity-type":"item","numeric-id":1349886,"id":"Q1349886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e25ef648e601353f5343329d06e9efe0b51c0ebf","datavalue":{"value":{"amount":"+0.81056917","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":"Q4285641$81E48139-9529-4127-8390-90A8F0CC905B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111634c180e51898e7db72b4c025f608f2b8c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3055748,"id":"Q3055748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c8477181d2b61d085b06f8dbb08f6cfefc75fe","datavalue":{"value":{"amount":"+0.7994591","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":"Q4285641$5B96DE38-CC75-4A9A-A242-B3290594CC5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19747309159fdbd489d35cca2e003b1d709c93b5","datavalue":{"value":{"entity-type":"item","numeric-id":5277919,"id":"Q5277919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"009f2317e67b581ce0f282ee5b7d7046e07d70c3","datavalue":{"value":{"amount":"+0.7960601","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":"Q4285641$64D4FF14-1166-4D30-AA77-43F831CF52E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de8e664e868280ba0033bfede70528d732162ea7","datavalue":{"value":{"entity-type":"item","numeric-id":1283883,"id":"Q1283883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"361969739be62c3f9ee8457173a25f7705d87fae","datavalue":{"value":{"amount":"+0.7948798","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":"Q4285641$3AC4B999-F007-449A-8420-26B8D50027F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4285641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4285641"}}}}}