{"entities":{"Q3716320":{"pageid":5746226,"ns":120,"title":"Item:Q3716320","lastrevid":50625971,"modified":"2026-01-14T14:54:27Z","type":"item","id":"Q3716320","labels":{"en":{"language":"en","value":"On the sequential nature of unification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3945371"}},"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":"Q3716320$A43F0ECB-1201-43FF-B433-7C3B85DC076A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7525a8376979cb5ca03f1b99139055e76f1108a3","datavalue":{"value":{"text":"On the sequential nature of unification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3716320$499ACE58-352E-4851-86AD-0EDB6AB7DEF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2f409c5e64459871ee67614b87b4664a88c6e99","datavalue":{"value":"0588.68045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3716320$D5FD8753-00F0-491E-BFA3-281D7C7C17CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f0a149c7b2622e18ceaf964255a300fbbf77a01","datavalue":{"value":"10.1016/0743-1066(84)90022-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3716320$350863DA-146F-4B74-88F9-E159B61BC38E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d320114f93a10cd6e9e2fb47fde637153845b4a","datavalue":{"value":{"entity-type":"item","numeric-id":757013,"id":"Q757013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3716320$44CB64FB-6E97-40E7-9D13-358FC45CB1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad0dd0265ec494130c14e350640a6950f35843b6","datavalue":{"value":{"entity-type":"item","numeric-id":579956,"id":"Q579956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3716320$C260B06F-EB1F-402B-867E-86E66974F40C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7b0bfbbcf5657a8b101c8d9d79e6747c41c0556","datavalue":{"value":{"entity-type":"item","numeric-id":276486,"id":"Q276486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3716320$23BB810C-F839-41DB-9308-1B23CF9E2335","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":"Q3716320$FD821E3D-3EA3-4931-A19E-C54C31A89A60","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":"Q3716320$8B8FA812-F440-480B-B6C8-24C709735D55","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3716320$CB2D2467-DC40-4898-B386-67777CC42E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3716320$7578CD3D-819F-4AB2-895A-15C3E211BDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3716320$CBAC7367-91C1-4BCE-A81F-1101C87CD843","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9c900f936b3c3caad4f15d0a6b6d65f074e24be3","datavalue":{"value":"3945371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3716320$10455BBB-56AB-4941-BDD0-3A58AE3CECB5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03158307b01a6e2de96f5585d7a65d8e1a522aae","datavalue":{"value":"resolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3716320$8CA49382-F9CB-4B6E-B305-51C435941469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e53f65b9dbdfef847dc4757a43ae2a3caf65bfb","datavalue":{"value":"representation of terms by directed acyclic graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3716320$9708D216-45EA-429E-98AE-6A055FC0C528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c6dd60ce94b5af47a4910e24a24fda323b8f545","datavalue":{"value":"term matching","type":"string"},"datatype":"string"},"type":"statement","id":"Q3716320$B74367AE-BA17-4C52-8F19-F0B5CFC7975D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0967c5f93d36d6aa18ee008d77ee288965d952b9","datavalue":{"value":"parallel algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3716320$F304AA13-B278-4B1F-B8B9-FF4AF71E5F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f90139540a7d903d3d1c4be37d3cee7145f7063","datavalue":{"value":"PRAM","type":"string"},"datatype":"string"},"type":"statement","id":"Q3716320$861C2B31-8FF0-4B7F-A7EC-0E0BF409C3AF","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":"Q3716320$FA877AA9-963B-40E2-BA5B-430EC121A3FD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c44bc01c3d072d682d51d74d6e4ad8671f84317d","datavalue":{"value":"https://doi.org/10.1016/0743-1066(84)90022-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q3716320$D5BDF417-B20A-414C-A786-9E693254CEDA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f2f6785a3a5c0ed6498ea6d88f86931c3422bbd","datavalue":{"value":"W1982801224","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3716320$0349B99C-0761-4ADB-AFD7-7949BBC48134","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e33c6ed1117df8d5daa6126c858ad55ea3a1c79","datavalue":{"value":{"entity-type":"item","numeric-id":3786016,"id":"Q3786016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fffc01ed84306f76880b52fe039b177e1553a79","datavalue":{"value":{"amount":"+0.9012041687965392","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3716320$198ED807-2932-42AB-A90D-24D8970D38B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d310ad792d544f2e529af4322855a5e16be29b6","datavalue":{"value":{"entity-type":"item","numeric-id":688582,"id":"Q688582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b374bc0404160f2f6f4fd9fe418a798154b77ac","datavalue":{"value":{"amount":"+0.8621497750282288","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3716320$D3A2AA6C-821D-4463-AE83-180C863A7B70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b3cdec5f865f9c403aedd4b51b444b5be107ca","datavalue":{"value":{"entity-type":"item","numeric-id":1201724,"id":"Q1201724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7ed174148a7b6bbc57c9f6c0b8d11c1f4510968","datavalue":{"value":{"amount":"+0.8558477163314819","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3716320$5CA83049-077A-4C14-8032-B91C5296D6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79df43a114291ed4d32034a5f054ed9c9bff9b83","datavalue":{"value":{"entity-type":"item","numeric-id":6488537,"id":"Q6488537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"725623b7dfa68f3ae3bdb45d40ebd8526b28bd76","datavalue":{"value":{"amount":"+0.8540611267089844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3716320$FC959EFF-B00A-4598-94B8-A78C5A929E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba9fd94376499700666932e40ae6995713412fed","datavalue":{"value":{"entity-type":"item","numeric-id":4721668,"id":"Q4721668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf3907116131848f932c3b93c63712d22c26cf5c","datavalue":{"value":{"amount":"+0.8524713516235352","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3716320$9E718D6F-DB05-46A1-8DB4-CAEB10B421F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3716320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3716320"}}}}}