{"entities":{"Q6560164":{"pageid":14171319,"ns":120,"title":"Item:Q6560164","lastrevid":40560599,"modified":"2025-03-06T20:11:18Z","type":"item","id":"Q6560164","labels":{"en":{"language":"en","value":"Representing unification in a logical framework"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869520"}},"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":"Q6560164$12181269-C150-4679-967C-BA90BA34984A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c62913cb1a5fd3398e9be45e7eb8fdf9f9b9bc22","datavalue":{"value":{"text":"Representing unification in a logical framework","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560164$E901AC21-41CC-44CD-A39D-BB82998F84C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf6948c66443a981cb1a6d9c6b862789fa85b8ee","datavalue":{"value":"1540.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560164$009A4182-E06C-4A99-B6AC-B7CCAE31643A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ddcbad6ba686ded10b754a2cad4d6be754d02350","datavalue":{"value":"10.1007/3-540-61377-3_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560164$62ECDB72-7827-4CAC-98AB-128FD7BC77E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cd17f6614b13f6dcbd15e989c45e0ab6fb79d72","datavalue":{"value":{"entity-type":"item","numeric-id":4850082,"id":"Q4850082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$6A90128C-BDE1-4574-A1B1-48F9FAEF7239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92e7882536af51bf6c5753ff9b9d81493dcc804d","datavalue":{"value":{"entity-type":"item","numeric-id":1575922,"id":"Q1575922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$C3C07922-9C0F-4CD8-A3F2-C43AAD9DCAF9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560164$4115A6EA-F369-4126-B1E3-EA4904D35E1C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560164$3CD3801E-F100-488B-952E-F1B3F207543D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560164$AB586D00-5720-4867-8EF5-8384DF8E7E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560164$5196BFD9-6727-4EBA-BD6F-472CCFD44A4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560164$45B30EAB-8480-49CF-ACF0-78CBD2878C13","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f534d33d22d9ebf9f01b60dd2f4e8f8d22d53a9","datavalue":{"value":"7869520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560164$4671907D-98AF-490E-9670-84E65BBC43AC","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":"Q6560164$9E23B1BC-D192-4380-9E5A-CD381FBB7F4E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$BE7BAFA6-DE7A-4FB1-84CE-8E8FD92A672C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8124e2aa86067094dab23bb14b8dadf2e19d522b","datavalue":{"value":{"entity-type":"item","numeric-id":3894958,"id":"Q3894958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$5F2CC8A1-9F74-43DE-A9B3-3A23A56B2433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366ee1071310872ce51f69ac724d1b1cff46fae5","datavalue":{"value":{"entity-type":"item","numeric-id":5610115,"id":"Q5610115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$4EE77D20-C5D7-4352-B799-A84EE963DAA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9c25358477122b4737549d52e354b2ddfa62bb","datavalue":{"value":{"entity-type":"item","numeric-id":5055716,"id":"Q5055716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$83CCB1DB-EA12-413C-82DC-B6754421812D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$158C1743-F0E0-480E-8FF5-00B98B6141C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$792E1B09-A07E-4979-B102-B8DF9838035D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb387d93d6d1c7b34f751c3ee7736c48adf0665","datavalue":{"value":{"entity-type":"item","numeric-id":1227601,"id":"Q1227601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$16770151-9D0F-4B1E-B8A8-F13071CC784C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899d9c3921ddd06671114191c1b2907f2a400daf","datavalue":{"value":{"entity-type":"item","numeric-id":4001862,"id":"Q4001862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$9F5DB5C3-9E22-492E-8C2A-D7550E620FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242f23e896f2b4aa4c701abbd097e06ef2fbad74","datavalue":{"value":{"entity-type":"item","numeric-id":4274997,"id":"Q4274997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$D2516F85-18DC-4248-AEA3-DF52EA51ABCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ce06304bf3709cc235c3276b4f500aec1ac468","datavalue":{"value":{"entity-type":"item","numeric-id":1239309,"id":"Q1239309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$205052D8-F2AC-4E3A-87D0-CB1BA3489669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07bde1b1ec996aeb071ba3c817fedaeed25122f5","datavalue":{"value":{"entity-type":"item","numeric-id":1189726,"id":"Q1189726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$8D746EDE-6A96-496A-9B38-19DE71A49EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c9465d6417bb77bd19e652eaf6c381784d12e8b","datavalue":{"value":{"entity-type":"item","numeric-id":3936229,"id":"Q3936229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$34D64B60-6AC7-4980-B1C1-5C48057F8CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5333f404cb1c5a483ee97a9aa8db2143fb09170b","datavalue":{"value":{"entity-type":"item","numeric-id":4012879,"id":"Q4012879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$4D5BFEF3-CD29-4FED-926C-92CE7DE64434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a53c9ec1ed01dcb444298314487a4908d29766","datavalue":{"value":{"entity-type":"item","numeric-id":5286030,"id":"Q5286030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$92B5F529-A08F-49CE-8F85-6C6408196C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"996546e15b6fbeb64dd43e0ea4bb4b45c952f698","datavalue":{"value":{"entity-type":"item","numeric-id":4012884,"id":"Q4012884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$F76F99AA-2726-4128-8F2B-D661FC1D81F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ddf446acc897598830df5ac5eb8171a72e05d534","datavalue":{"value":{"entity-type":"item","numeric-id":1189467,"id":"Q1189467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$DAE12529-0711-49AC-B80C-76236F17FD59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aed17d1d7b1ff67830dae739e9417248cd25f604","datavalue":{"value":{"entity-type":"item","numeric-id":1823936,"id":"Q1823936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560164$2CE02F08-4E42-4151-8CF7-E11684C70299","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560164"}}}}}