{"entities":{"Q793513":{"pageid":795361,"ns":120,"title":"Item:Q793513","lastrevid":64423578,"modified":"2026-04-11T19:46:28Z","type":"item","id":"Q793513","labels":{"en":{"language":"en","value":"On simulation and propagating EOL forms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3856439"}},"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":"Q793513$6C2EACD6-417A-4330-B9E9-06A5E5ACFEF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd6c1fce351c3810f3a08bd91db8abb0c90e2768","datavalue":{"value":{"text":"On simulation and propagating EOL forms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q793513$9CA500D8-998B-4565-A350-6CB5CA6E05E8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e19e9e8627446e3f076791dca2fc35c33d18192f","datavalue":{"value":"0538.68067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793513$F4B6EED4-6AE6-40D4-B3F1-C9DC7C36BAA0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bcdfcdad083d896b4aef6b9cb139ca8fd7fbe38b","datavalue":{"value":"10.1016/0304-3975(84)90011-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793513$795B365A-9483-403D-95BB-C555ABF32A4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a03a6bfa00fe0324cc870925687bad0e1ac2df25","datavalue":{"value":{"entity-type":"item","numeric-id":584928,"id":"Q584928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$793960C1-825D-4DC3-A0A7-C3E2EB4EF6F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3fcef18c71a4b5df42d463ab66d395e6876189c","datavalue":{"value":{"entity-type":"item","numeric-id":537812,"id":"Q537812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$A5007717-E890-4547-99E0-74ADE87E1594","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$A00DA280-659B-43FA-9932-008EC296B0E4","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":"Q793513$4413DA25-0259-4CF7-AD4A-A8F6A9E829A0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"bffdbe5b5facc98308d759b93b3a96c07afe7af9","datavalue":{"value":"It is proved that for each synchronized EOL form a propagating EOL form can be constructed with the same n-family. To prove the result a new simulation lemma is used.","type":"string"},"datatype":"string"},"type":"statement","id":"Q793513$049256CD-98D7-42D4-969C-09F31FA33AB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793513$076548E2-D33B-4958-9344-940CC2210FEA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6c746b5100d6052022acfd4509fc017284902f3","datavalue":{"value":"3856439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793513$A1ED0FA8-F97F-4956-8EA9-41A097554438","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"768954da54c55198de462ab9e5f4656355bdf2da","datavalue":{"value":"synchronized EOL form","type":"string"},"datatype":"string"},"type":"statement","id":"Q793513$066F1AEA-FFF7-408C-BE8C-D007A163A13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5165d4838471a61c9efbc5cc48d18a573ba4e942","datavalue":{"value":"propagating EOL form","type":"string"},"datatype":"string"},"type":"statement","id":"Q793513$B8ACC49F-BABF-4652-83A8-8768B02E24CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8496a5fcf9e297d0b95f02126894f8f0d620703c","datavalue":{"value":"n-family","type":"string"},"datatype":"string"},"type":"statement","id":"Q793513$F31D8474-6BAB-4DE4-A766-75A5E8E26263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f828563fee5a57e5f16da87a79378ac587cea3ac","datavalue":{"value":"simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q793513$1892FEB9-B27A-4EF7-84D4-48CC64DEDC7C","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":"Q793513$3B9D4CDD-5637-4C2E-A189-81253CC93F61","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"afec30b02a4e1a2df1c0385460627e91385b716f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90011-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q793513$5D16DC2B-974F-47A3-9480-F28AD6412665","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2fc086fd9de050563cbb86dfe53f181c92e789be","datavalue":{"value":"W1977441005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q793513$E4C63B94-A97D-4319-AFF2-A9420D2C4FD9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a887b005c9fe001a0da4e0ac659a0b3cfdc51e57","datavalue":{"value":{"entity-type":"item","numeric-id":1143808,"id":"Q1143808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$7551F60E-2174-4454-9B85-0674F2E03F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8440c98172d1cacb0148c6424fbbda711f6912","datavalue":{"value":{"entity-type":"item","numeric-id":1166276,"id":"Q1166276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$245A47DD-A57F-4861-972F-E3F860802C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450f4d66bf81611e8eeabd5b529af2e47d1f2f10","datavalue":{"value":{"entity-type":"item","numeric-id":1234593,"id":"Q1234593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$754260A3-DFE4-415F-9235-A2DA43EB81D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8982a05b6935b213c27dcff04d12fac9a7f5d05a","datavalue":{"value":{"entity-type":"item","numeric-id":4170258,"id":"Q4170258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$5D0DEAC6-4CA0-44DB-911E-ED0B3BB82050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9500e19069722efa256e9656f8110bdcd87d826","datavalue":{"value":{"entity-type":"item","numeric-id":4140407,"id":"Q4140407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$FF698085-70E4-4F88-8C86-0CCC1F579E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fc702f4cfa818a72311c2dff7550ffb71363e1","datavalue":{"value":{"entity-type":"item","numeric-id":1154290,"id":"Q1154290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$44DEF986-CEAD-496A-8BD2-4C9753EAB13F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56aa7a343db226e6c7da9bd7db585a412df58862","datavalue":{"value":{"entity-type":"item","numeric-id":5678435,"id":"Q5678435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$4EBFDD6D-F6F0-40C3-B3A3-023D3D7767A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"946f257475ecab2da5dddb765b121d598553ce8f","datavalue":{"value":{"entity-type":"item","numeric-id":1055198,"id":"Q1055198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q793513$44E46D08-6E74-4919-8347-7EDEFD2401D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d2fd06d54320f45e5d90338690a794b71e7c167","datavalue":{"value":{"entity-type":"item","numeric-id":3367272,"id":"Q3367272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97220d8bbef06a5f214926c9d7cffa3504334b0d","datavalue":{"value":{"amount":"+0.8354691","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":"Q793513$52C959F0-D371-4116-AEB2-8E9D8B8B653C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60d0146bbe2808dbbfec14c1ceaadd4ef7e68da","datavalue":{"value":{"entity-type":"item","numeric-id":1077985,"id":"Q1077985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87fe4a0298efed9ecfae905bf0ba98180aaf0a6d","datavalue":{"value":{"amount":"+0.8174639","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":"Q793513$8B576D99-ACBD-4CA0-B3B0-9FFC23B3B62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"487c002e9246693825b2cb0c72fcde23e6dbb1f8","datavalue":{"value":{"entity-type":"item","numeric-id":3710099,"id":"Q3710099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa9ab0c1e8c123efa09566cff43630c2d7b0f5e5","datavalue":{"value":{"amount":"+0.8174637","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":"Q793513$C8C571C6-1072-42FE-8E82-8466D1BEA6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7943c342626d773c499557475f40c46f54a14128","datavalue":{"value":{"entity-type":"item","numeric-id":5178078,"id":"Q5178078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10613f4083a01310eb981bd35bb79a66ccde41b6","datavalue":{"value":{"amount":"+0.8027359","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":"Q793513$99A53EE3-4BD4-49A3-BB41-52713FBC0297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381aa1fb3c5f88fd4cb57be3bc2ea96728c22143","datavalue":{"value":{"entity-type":"item","numeric-id":6113980,"id":"Q6113980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18e65a2766ee62ff649a3d833d8bac16cb513d88","datavalue":{"value":{"amount":"+0.8000733","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":"Q793513$F8301B48-C373-4F76-85FA-B6185EB3FF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3d103551348225c851fac90e2e53fde954f51f3","datavalue":{"value":{"entity-type":"item","numeric-id":4986243,"id":"Q4986243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c8b24cff1e11873ba0081e7f7e1baae99ed6e8","datavalue":{"value":{"amount":"+0.79642975","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":"Q793513$AFF20B58-711D-4B91-B705-7A0C1C64F3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a2f84bd5fa7e167209f732922aab08d948d1aa0","datavalue":{"value":{"entity-type":"item","numeric-id":4037102,"id":"Q4037102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d1922c6f0a0e27b578bb8c561db6f2288ec462","datavalue":{"value":{"amount":"+0.79547465","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":"Q793513$B98FD4E8-C695-4CD5-B759-6F0E7CC3F3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c2731ba346cd5b219fb97f5b22eac3097ba32c8","datavalue":{"value":{"entity-type":"item","numeric-id":4593685,"id":"Q4593685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622c9b6182064e236bfc0c6ee04a95af0d2026ab","datavalue":{"value":{"amount":"+0.794574","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":"Q793513$87437576-745C-4992-9350-5EBD6D3CB4F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"422e321ce7256d3a9680e6fbd19ca8d99f2bc349","datavalue":{"value":{"entity-type":"item","numeric-id":2317616,"id":"Q2317616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00458d926d8e72e5996ef744e2101388acdbea17","datavalue":{"value":{"amount":"+0.79027593","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":"Q793513$4C646D1D-EB6B-4A04-A589-1613261D2CCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dd399f1249321cf8250975af5de059669f2ed4c","datavalue":{"value":{"entity-type":"item","numeric-id":3734077,"id":"Q3734077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"301a43df72c8a292287eb708e13fef5bc897cc5c","datavalue":{"value":{"amount":"+0.7873036","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":"Q793513$EDF317BC-382A-4BC5-BAE5-8406867A05C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On simulation and propagating EOL forms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_simulation_and_propagating_EOL_forms"}}}}}