{"entities":{"Q3196359":{"pageid":3207067,"ns":120,"title":"Item:Q3196359","lastrevid":58147752,"modified":"2026-04-04T00:17:15Z","type":"item","id":"Q3196359","labels":{"en":{"language":"en","value":"The computability path ordering"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6501875"}},"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":"Q3196359$FE8B535A-239A-4188-AB3F-B1313EE3AE71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dbce02d8c61fdedbb27dfc06543bbd44f23100df","datavalue":{"value":{"text":"The computability path ordering","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196359$DD3454A5-92D3-4B41-8861-84D6EEE8AECA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63904e7cbf0404049c0e304eb4e029e9b16d6fe7","datavalue":{"value":"1448.68253","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196359$46A6ED67-AF6F-4F52-AABD-48A023D9ADD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3960b5968763714c0d81c5d748fe4100fa83156d","datavalue":{"value":"10.2168/LMCS-11(4:3)2015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196359$D19123E8-4398-4DB9-AC26-C49BCB2AF33E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8807e9b5ca6f3e9539fb2629b3f3fe474d0fb0ea","datavalue":{"value":{"entity-type":"item","numeric-id":235598,"id":"Q235598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196359$95590D19-3C94-4DD9-81B3-7EA5240EC1E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196359$6560F06E-B417-4BFA-9BE4-616026FD1A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"076f42ceb107ac95ece0987fd254ab37feda8487","datavalue":{"value":{"entity-type":"item","numeric-id":352976,"id":"Q352976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196359$0FAF4DB6-13C1-4188-B3B7-0F0E303026E0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196359$564AFE07-10E8-4FE7-8A2D-6F0A625BD98A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1bdde30cb0823a415fe067202cfd3663abd98a96","datavalue":{"value":{"time":"+2015-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196359$1747A4A2-DD99-4F59-9ED4-97E24817D948","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df0193447163a8b18a3ceeed80a1905aef6018b6","datavalue":{"value":"https://arxiv.org/abs/1506.03943","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196359$7E148876-BE3F-4327-B6F3-75191C9CB60A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196359$8AE309B0-3E20-4A12-A278-E4B4547E8C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196359$D7EB4E16-8C7D-4181-AF47-07208F0D90BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196359$AD793086-9E99-496B-A69E-82B81D87A897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196359$69C4D061-D8AE-4376-9204-A33B6BA8A1B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8da768ba365b1d78e0e4f94ae9e217f2bc442f9","datavalue":{"value":"6501875","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196359$DD2B875B-17C5-446E-AB0A-203178D00429","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196359$9AD6D460-C5B5-4823-805C-6F20205A81E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5f6fe81d420f6198ba787eb509a92e8f1278ab2","datavalue":{"value":"path order","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196359$380F2824-24D0-41F6-9440-B10927E357CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196359$0AF10171-3A11-4940-9E51-C942990428BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b2cb2aa8953507be78145ef07fb1e05160aa99","datavalue":{"value":"lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196359$05D0B2C2-39AB-49A0-A567-6E7B78E5E948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0bc1cc50e8d4b517f651118878724606a4faacd","datavalue":{"value":"reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196359$016B769E-C4C7-46AC-8432-BFF3C392F4E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e1202fa4aaeffc809043c1d94983ad89396bca2","datavalue":{"value":"inductive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196359$E507EB6C-B495-4D07-B802-13A2BA3BF128","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196359$919B0506-51BE-41D8-ABA8-923E81617B41","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":"Q3196359$7C70C8FF-5522-4997-8A30-486D74B6050E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e7e66077f573269297e0cd2ec7f75820aeb45fa","datavalue":{"value":{"entity-type":"item","numeric-id":3540166,"id":"Q3540166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bfe1a1374957ff57a205617280dd28f7594f5d3","datavalue":{"value":{"amount":"+0.9502627","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":"Q3196359$E9CDDCD9-D08E-4AC5-8AF4-65B44E5A6785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0cbd0e4a439e62a17479f3f99782c97d602267","datavalue":{"value":{"entity-type":"item","numeric-id":4938603,"id":"Q4938603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6c07025572f5f1c9350616579ac4a02419eb476","datavalue":{"value":{"amount":"+0.89868677","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":"Q3196359$3E27D511-160B-4F58-966B-4F8FCB618506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"396528b0195df839f37c3ec25136a4dd8627dcc5","datavalue":{"value":{"entity-type":"item","numeric-id":685537,"id":"Q685537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c985bac1dbe5b455123475c75de67175befc4da5","datavalue":{"value":{"amount":"+0.8935146","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":"Q3196359$1AD5966A-D74D-4043-82C9-A2B64BBCA980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4df462ee4f4b838fe4364b248f8dd700ae95b3b7","datavalue":{"value":{"entity-type":"item","numeric-id":4249724,"id":"Q4249724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0f056eb41a4bfd90308aeeb9791ba4f89430aa","datavalue":{"value":{"amount":"+0.8809744","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":"Q3196359$BDC33366-E766-4F2B-A409-CB46251B820D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f56c87c724173faa59e71c8e711d9af6d27f454d","datavalue":{"value":{"entity-type":"item","numeric-id":3576060,"id":"Q3576060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1002b31d227aabaaa252560cec11bc72f75b6e76","datavalue":{"value":{"amount":"+0.86843026","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":"Q3196359$3B11CB6E-3E91-40CF-947C-D344906181C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f11b0d85fedad0592f51865d3bdcc6beafc61128","datavalue":{"value":{"entity-type":"item","numeric-id":5239229,"id":"Q5239229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ebb72ab690ebdef110878a85b8160a82b8cace","datavalue":{"value":{"amount":"+0.86628634","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":"Q3196359$FC71D15F-33F6-4003-B521-F71725F202CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ab2748b2dc355765f74038204b2a30e45a6e142","datavalue":{"value":{"entity-type":"item","numeric-id":1082075,"id":"Q1082075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4d68f46200b630f455beb54edab261f4598bd31","datavalue":{"value":{"amount":"+0.8655878","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":"Q3196359$DE85FE37-ECBE-4F17-892F-31920546983D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46ca5980d6536a167f7c54a3c1b3b8eb8d949398","datavalue":{"value":{"entity-type":"item","numeric-id":2469429,"id":"Q2469429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40a02bc08c5d11c66626955e8bf51547b2a6df7f","datavalue":{"value":{"amount":"+0.8636674","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":"Q3196359$870051EB-BAC2-496C-B617-296599BF2CC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c6376485d2bd21ff78675227a1f331b69391e76","datavalue":{"value":{"entity-type":"item","numeric-id":1392274,"id":"Q1392274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e442ec44197c4e73c4447a09e749e43098eeee1","datavalue":{"value":{"amount":"+0.860682","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":"Q3196359$D39A9E7E-15D7-4599-9ADF-B986FAC96FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5abaf90cc212f39ddcef7228d7be108f22b548f3","datavalue":{"value":{"entity-type":"item","numeric-id":4904461,"id":"Q4904461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83689463644948f370b3c1c2d3a305778f5429e","datavalue":{"value":{"amount":"+0.8593496","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":"Q3196359$2B35A90B-A805-4150-85E6-21D86F806DD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196359","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196359"}}}}}