{"entities":{"Q2464720":{"pageid":2475463,"ns":120,"title":"Item:Q2464720","lastrevid":44134839,"modified":"2025-11-20T06:50:35Z","type":"item","id":"Q2464720","labels":{"en":{"language":"en","value":"Strongly reducing variants of the Krivine abstract machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5220772"}},"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":"Q2464720$86B473ED-4629-49C6-8F6C-CDE7AAE73899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"33c7332c74c0d996f0766dbcd2880f0cd45ff322","datavalue":{"value":{"text":"Strongly reducing variants of the Krivine abstract machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2464720$0D214983-1EBA-4BDB-87E9-359995C66396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b561794133a0b516f13d0970f4cc1d1bac826adc","datavalue":{"value":"1130.68052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464720$8D6DE5F0-3A47-4EE4-8F22-4677507CA4DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c5046b9cbb87a6d8588ef96a88de2a876c4e8d6","datavalue":{"value":{"entity-type":"item","numeric-id":2464719,"id":"Q2464719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$A45B980D-187B-4C6A-843D-68472338EDDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$E3ADA42D-7218-4D86-B07D-76CC2AD0AB24","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-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":"Q2464720$6FAB1ABE-688F-47C7-B0D9-0CE178ABB030","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464720$24297E6B-B8FE-4D54-980B-DCBA1E78AA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464720$C2EDC99F-E3E4-4D8B-A22B-DF8C818B5C28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"255ce1e8d96604c5c4e14c8182e2c0d5ee1afb71","datavalue":{"value":"5220772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464720$85AA3FC7-D91C-4F3A-AB2E-D9F494BF1A8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3331c0a132bfd37d6f9e57f6e98852b395ff88b7","datavalue":{"value":"Strong normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464720$92815084-0572-4EB2-AEB5-402CA2F0047C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b6253d5afce673bae0801da1748705fd720e879","datavalue":{"value":"Abstract machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2464720$7E8633A2-D2E0-4EBE-867B-55872906BF4D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b0306070baa0de02fe62952cd1baba7228e1bcc1","datavalue":{"value":{"entity-type":"item","numeric-id":15409,"id":"Q15409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$6011E343-D472-4668-B937-5436B7B5BC2A","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":"Q2464720$9C121ACA-8627-46B0-9421-408A2D18FE6B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49e52f7e6381eb29d6088c28a40bb131d934dac8","datavalue":{"value":"https://doi.org/10.1007/s10990-007-9015-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2464720$552BC6AD-DE6E-4C44-BD18-60C959EC68E5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a4db8ebb4284d68decf87a62cf2eb4235121578","datavalue":{"value":"W2031190840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464720$7C72F8E2-EE08-4E3B-8E2A-11E7261984C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$39916DEC-5B20-48D9-99C9-C9E01820BA78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a43b56ab219637b1e31e6b9f821a826a27e187c","datavalue":{"value":{"entity-type":"item","numeric-id":4327828,"id":"Q4327828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$F4888E1B-5859-4C99-9D1D-81704B89A9E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e64e7f5fe92efa0481f27c6c5b93daeafac49f6","datavalue":{"value":{"entity-type":"item","numeric-id":1854460,"id":"Q1854460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$93796E63-758D-4574-A7E8-3133E12D50F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"956c663a8c65ca7a493106b21f9b04a9a741383f","datavalue":{"value":{"entity-type":"item","numeric-id":1155602,"id":"Q1155602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$B6A72D04-5A58-4A8C-98EE-FDB79276F81A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0b2ea98f51ca5e885b48eab0dbd0cc88c72ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4246942,"id":"Q4246942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$F7B29DDC-F25E-4F63-B21B-F168D1BD28E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4004164fb76db92bcdf23fd385dc006c288396ae","datavalue":{"value":{"entity-type":"item","numeric-id":4371674,"id":"Q4371674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$F0F51846-A64F-414A-9D9D-38CA6042564B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"901ba45472e1a0a3be8b2e40215973355027ef09","datavalue":{"value":{"entity-type":"item","numeric-id":2949209,"id":"Q2949209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$8D627BBA-5E5D-4C48-8B3F-E59466D15D0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8acbc35a8cddd0d4b3e090c62de84c098dad3c37","datavalue":{"value":{"entity-type":"item","numeric-id":4236754,"id":"Q4236754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2464720$E45CDC59-F5B0-4DF0-B9EC-09CF4D518B7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"247cb71176dff5d312d238fe24219e0a0a5dacc1","datavalue":{"value":"10.1007/S10990-007-9015-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2464720$AFCACB60-272D-4849-A0CC-024E361A2130","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61200c027576f30736516d48d8df037e4cf6dbb1","datavalue":{"value":{"entity-type":"item","numeric-id":4972064,"id":"Q4972064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2bf0dbbf3d79960072eac9d2355b4088f1b6f53","datavalue":{"value":{"amount":"+0.8617172","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":"Q2464720$EE2FD53E-698B-4ABA-86F9-A5AF4D26CAC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f190f8767d9eb0eff60aa47d050d11f02e992d4","datavalue":{"value":{"entity-type":"item","numeric-id":5108536,"id":"Q5108536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6f8d76061fe15bb42862b9fae7a700dd9a08937","datavalue":{"value":{"amount":"+0.85756737","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":"Q2464720$3602646F-D2CC-4AC8-9D38-159D833FFEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c3cefeae77128af7a5de3c33e4edcc7c3d0e7b","datavalue":{"value":{"entity-type":"item","numeric-id":5854732,"id":"Q5854732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aa4c7b983b0a92af325c68fa3f5c3f45aa4bc69","datavalue":{"value":{"amount":"+0.8571075","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":"Q2464720$05CD0BF3-EBDB-4A4B-860C-7FFE412565FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5b8799d431fd7369867c587882c377338cf5f61","datavalue":{"value":{"entity-type":"item","numeric-id":3453649,"id":"Q3453649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a82645ec4600e4c5ba4170cdd0160ce73876e2f","datavalue":{"value":{"amount":"+0.855855","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":"Q2464720$AC4EE9BD-F028-47EA-B303-376A63263BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68c5b7933ea405774474bbe89f562f941c6c512b","datavalue":{"value":{"entity-type":"item","numeric-id":3012917,"id":"Q3012917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998caa8e0ad3c2b1917d1cda8ebd3969f902cfc8","datavalue":{"value":{"amount":"+0.85502625","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":"Q2464720$99AEF893-21BF-4490-A4AB-206032C08498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d29e97e8931c36b1d57aa46a79450bede706c9","datavalue":{"value":{"entity-type":"item","numeric-id":476196,"id":"Q476196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"998caa8e0ad3c2b1917d1cda8ebd3969f902cfc8","datavalue":{"value":{"amount":"+0.85502625","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":"Q2464720$FC3A51FC-663F-4802-B133-AECED40C7B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ae66ca1469a95de7f5a2bc429aaed56d9668e09","datavalue":{"value":{"entity-type":"item","numeric-id":4989023,"id":"Q4989023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6d629c881722a3d2bb2e52ec10306d21957300","datavalue":{"value":{"amount":"+0.8537663","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":"Q2464720$7C074260-624D-48F0-B67A-71B5FA4F4B4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c51c626c86149b4fbeddc5ecca32d8b9e0958fb","datavalue":{"value":{"entity-type":"item","numeric-id":2539218,"id":"Q2539218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16391dff8069f80df67cc866c92d86420adcbe8f","datavalue":{"value":{"amount":"+0.8447255","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":"Q2464720$DAFD42C1-0D7B-469E-A044-C1C5FA3A55B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fd4d68429e4e1970dc21945e4350b40d5be6c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5210785,"id":"Q5210785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3a1dd95188ca597a359bb745b40f0fe652a5ebd","datavalue":{"value":{"amount":"+0.83728415","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":"Q2464720$9C4AC10A-F784-4F2C-8204-15C89AC4F4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba2b2c83bfb188c6c68685e48981cc4a23c852f","datavalue":{"value":{"entity-type":"item","numeric-id":800353,"id":"Q800353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4e6112da1fac7d5687342a886fbc343db8e713","datavalue":{"value":{"amount":"+0.8358329","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":"Q2464720$F42BCBE5-7E44-4E4C-9636-261D2D0EDEAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2464720","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2464720"}}}}}