{"entities":{"Q4181304":{"pageid":6210905,"ns":120,"title":"Item:Q4181304","lastrevid":37035536,"modified":"2024-07-30T08:14:26Z","type":"item","id":"Q4181304","labels":{"en":{"language":"en","value":"An order-algebraic definition of knuthian semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3617587"}},"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":"Q4181304$5AC5EA01-89E5-4BFC-AE5A-6F876910DD0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"76f0bc10b10bbc00d4701c80baec6a8ebd692d59","datavalue":{"value":{"text":"An order-algebraic definition of knuthian semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4181304$0D8FC929-5C6D-4D7B-B664-B70B91DC23EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"24dbf0fd85ba1848cbd7f4da720658abe5387c62","datavalue":{"value":"0397.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4181304$B0BF81DC-4159-4F36-ABC0-F877BC2D6A80","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d7983f928f936946dd0e70d64a2050de2556146","datavalue":{"value":"10.1007/BF01744285","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4181304$22821281-9F89-4963-A58C-969B63A7E84C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"269a00cc64f479b4e4c1dea34f685656880749dd","datavalue":{"value":{"entity-type":"item","numeric-id":3719795,"id":"Q3719795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$AE0B1321-49ED-4724-BCF5-A852B5EE2C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cbff9cb0a6dcc21882cd61445624ac87c8bb4db","datavalue":{"value":{"entity-type":"item","numeric-id":1887135,"id":"Q1887135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$39DBC3A9-99AC-433C-A270-5BD89ED0FD88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$59728C6C-8D48-42CF-9CA6-F7CBF66C3243","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4181304$61863902-23DC-4E79-96EA-98BEFA4DDFD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4181304$C469401D-3697-40D8-9A92-4150B5163A19","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c5712aa6908b0d34acbcc4cd9704e018f5e182b","datavalue":{"value":"3617587","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4181304$1B79B0DE-30B3-449B-9AA9-50449CBAB088","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d242316f8b970c30e3fec424dd2b9a811c1d0e4","datavalue":{"value":"Knuthian Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4181304$90D8382E-7ABB-4955-A8EA-E4FA5156A207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d7efef4e3cbf5517cda6633643fb1f4272d649","datavalue":{"value":"Structural Induction on Many-Sorted Algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4181304$B2D4C2A4-F41E-41C4-8656-66911E10B35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"053f3a955289eb10581891ac8134136d161f690c","datavalue":{"value":"Lea","type":"string"},"datatype":"string"},"type":"statement","id":"Q4181304$FCE36F44-2171-4A0E-A3B1-63C0CDDDF061","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49eaddd693f0d125ebcbba47522e5639803410e0","datavalue":{"value":{"entity-type":"item","numeric-id":13966,"id":"Q13966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$A1FACC41-4575-4B62-8FE7-7F666FAC2765","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":"Q4181304$13A062C6-D3D9-43CD-BB55-C3BE47933F15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$76DB599C-9979-40F2-9BD3-CBE721753073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbb91e5e16f8d3a00df3d09b42f3151b25b9a76","datavalue":{"value":{"entity-type":"item","numeric-id":4079031,"id":"Q4079031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$D6A4B153-AF9D-487C-8195-AC0C91432265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d64c6681d99f7da42023f15f454bb820325bb210","datavalue":{"value":{"entity-type":"item","numeric-id":4134899,"id":"Q4134899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$FE900DF1-0430-42C2-B1A9-33D19008F6AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$02514DD8-1746-4356-952E-F19B07EB1836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61401de64b7c5f8494065d32993eca48fbf16a9f","datavalue":{"value":{"entity-type":"item","numeric-id":4080746,"id":"Q4080746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$241E4390-D9C6-4EBA-9736-CA6A9E159E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ffad56ff7cb3f1b7bce5a75e03b0b6586eb531","datavalue":{"value":{"entity-type":"item","numeric-id":5555691,"id":"Q5555691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$1D8464B9-F712-4754-9E66-73B7EC99815B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d499eb2cabf47d9cc970d9285cfe7acf2f7c71","datavalue":{"value":{"entity-type":"item","numeric-id":5624673,"id":"Q5624673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$2C452C36-59B4-4F98-ADB0-ED28E562E315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fbd3c350a31d5f22d88ac6face82fb10f5e916","datavalue":{"value":{"entity-type":"item","numeric-id":5626271,"id":"Q5626271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$FA7FCC16-F0E8-49B3-999D-A80C157E3C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5594141b561bccc45c5d51869dda264f96d4ba","datavalue":{"value":{"entity-type":"item","numeric-id":4101426,"id":"Q4101426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$7C2098F1-6973-49FA-89FE-A6C003F11188","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"881ae0aaf330a88c75cd8b165bb62510dab2e539","datavalue":{"value":{"entity-type":"item","numeric-id":1218732,"id":"Q1218732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$F161DCCC-A616-4393-B9F9-2B5B62ADE4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd1db7dcd2da9fc394dcd951ad62461c4f9bd451","datavalue":{"value":{"entity-type":"item","numeric-id":1227632,"id":"Q1227632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$35068ACC-D226-40E1-AA32-DB2845FD0B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb90cbd6f35ef3e9e54a86dbcd1122e8f61c65bd","datavalue":{"value":{"entity-type":"item","numeric-id":5572338,"id":"Q5572338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$547F39D1-7CC5-440C-94EF-77A7F3DE3172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4181304$852174FA-9816-4B54-80D2-77FD9DD9EACB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"768813a2393ab02cdfb3a69853d6a57a43e88b82","datavalue":{"value":"https://doi.org/10.1007/bf01744285","type":"string"},"datatype":"url"},"type":"statement","id":"Q4181304$0F166E8C-E175-4DB6-8D18-FE743C0475F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cad7e3fe3ee154766ac6700981fcdd2ebdd59ec","datavalue":{"value":"W2011998974","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4181304$1BC0A097-4F3B-4218-8DE1-9E3590196A49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4181304","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4181304"}}}}}