{"entities":{"Q1923086":{"pageid":1933828,"ns":120,"title":"Item:Q1923086","lastrevid":43423528,"modified":"2025-07-25T17:05:21Z","type":"item","id":"Q1923086","labels":{"en":{"language":"en","value":"Axiomatizing prefix iteration with silent steps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 930725"}},"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":"Q1923086$41523041-7E9E-4F5C-9133-34CC40F81560","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b95f59b95631d9b886d62158fbc7ed94b2b997d","datavalue":{"value":{"text":"Axiomatizing prefix iteration with silent steps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1923086$1758654E-8890-4412-99A4-5BCE6518DD3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43f507b301d0accd2062083266fc1ce1c5baa200","datavalue":{"value":"0855.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923086$BEDA32BB-545E-4FA8-8B39-92B7F64CB7EC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2b4bd39b66e05c6b5ee50169e2d4c712b3b54f91","datavalue":{"value":{"entity-type":"item","numeric-id":266855,"id":"Q266855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923086$4DDA8D47-2FBB-4BA7-9BB1-24DB5E41DD33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb3d908edde5cce58f30bbb8863859bdf04b4ea","datavalue":{"value":{"entity-type":"item","numeric-id":266858,"id":"Q266858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923086$D96FA1B1-B6D1-403E-B682-E40AFB43FB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f107a74a1e1c64c94230a71c5504892f32efa126","datavalue":{"value":{"entity-type":"item","numeric-id":287371,"id":"Q287371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923086$BE7FE917-8D3D-4041-9504-9BE4610A6F4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f48fe98eb6731fc6d10e36e20e2cb30403db223e","datavalue":{"value":{"entity-type":"item","numeric-id":513184,"id":"Q513184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923086$CFC68CBB-ED1A-4C93-A56D-998DA3CED7B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1923086$9921A9D0-69F3-4F27-A625-D6ED999C33B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf80918924619bee5a9394ae26c1c7a83195bbf8","datavalue":{"value":{"time":"+1996-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1923086$3DAC6D79-53BA-484C-B7D1-3433AF43D08C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6be058e918a0c13a787d1d3756a581c447cf2659","datavalue":{"value":"https://semanticscholar.org/paper/07c82fae545c9468efc741102a8b7650471233c0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1923086$273BC3A9-FF2C-4E6B-89A3-7FC3DEC1A6F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923086$CDB47E98-5E70-4139-A934-58D1DECD9256","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b5696b09179ecfd37c6301cf57cf9a9b3dcf33f3","datavalue":{"value":"930725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923086$BEDE616B-AE5C-4A2F-BB08-818E462FE660","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fdeb0e80ddf5446d342f7e46cbacff269ec178c","datavalue":{"value":"prefix iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923086$169B2FA4-906B-4A11-A843-5319F1E93897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"487acef475868bacb4aa0336c90b1f2ebf6058f2","datavalue":{"value":"Kleene star operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1923086$2063D0FA-22F4-46A2-AC45-F7BBFF02D3AA","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":"Q1923086$C00F9AA8-3E5B-4B7A-AC59-1B61C92D78DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e569e40db7df3eeaa5db350fae3d038d5acd904b","datavalue":{"value":"W2039616607","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923086$A8720BA7-9EA3-4F57-B733-3E6F492EFA7D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a7a66026633ae9c49b6579fb51c8ecf64d5fe09","datavalue":{"value":"10.1006/INCO.1996.0047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1923086$9240D140-7225-4EC8-9585-8162A6D01F6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9985928ce85af5415458f01657254b2042469c0c","datavalue":{"value":{"entity-type":"item","numeric-id":1342264,"id":"Q1342264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb8491a4e8aa74d377dad76e4727987e2c4fc1f","datavalue":{"value":{"amount":"+0.8902649","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":"Q1923086$7FE14184-D130-4B5C-B6E1-01EA905448DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91db186c7ea9dc9f68118b435ec8cebf43dffd2","datavalue":{"value":{"entity-type":"item","numeric-id":3839065,"id":"Q3839065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d2bceec3768fe7e87a39944e8d9f9d7e62afbd","datavalue":{"value":{"amount":"+0.85951823","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":"Q1923086$CE59AE05-923A-4F8D-B57A-72F0BD8B395C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f1458852af739861d37be6077dda96fde53cbdd","datavalue":{"value":{"entity-type":"item","numeric-id":4375631,"id":"Q4375631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dfd9d57c9d0d382059f2a6fd1ca01c34bf63606","datavalue":{"value":{"amount":"+0.8478326","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":"Q1923086$D02D0A24-A311-4550-A024-567DA9A371F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02f64caf4b9d63b7edad2ebef44a150e41e3263d","datavalue":{"value":{"entity-type":"item","numeric-id":5491512,"id":"Q5491512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909662c53c469a83ac664a2de62151331af6fb4c","datavalue":{"value":{"amount":"+0.8456028","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":"Q1923086$CD3724A3-BEC6-447A-AA5F-9A9705236EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efd644cbd830cbab646449c1d456a3e3977cde8","datavalue":{"value":{"entity-type":"item","numeric-id":6044120,"id":"Q6044120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c32f52bc1683ebeeb4744229ce67b884fcb1be43","datavalue":{"value":{"amount":"+0.8395274","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":"Q1923086$3AD698FE-E43D-41F3-9EFD-991752B5E443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc45bf783bf70ddd003533537f8bed9c6b2a7dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4880140,"id":"Q4880140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15f6e28fcade2a9ede7134a4f62c00bdda6c466","datavalue":{"value":{"amount":"+0.8387577","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":"Q1923086$2993658E-356C-4EDF-8DC0-B4517D8E1D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0625918869d8e97af9bf9fa2b1e4ad37888f5ea4","datavalue":{"value":{"entity-type":"item","numeric-id":5203698,"id":"Q5203698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8dfa3bdceceb53c4e02f26a6371ebd53d5f21e1","datavalue":{"value":{"amount":"+0.82641643","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":"Q1923086$223E1A62-BB22-426B-808D-A5191FA21394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4382064de68c423cd56f9509f3a80806766951a0","datavalue":{"value":{"entity-type":"item","numeric-id":3317086,"id":"Q3317086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58da2dab8f168d3d9856f98fa88da91c528feae8","datavalue":{"value":{"amount":"+0.82087344","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":"Q1923086$1063185B-43AB-4734-B853-2C70360EC819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe9dfb7d7440087dbfa1a41054999738b2d645c9","datavalue":{"value":{"entity-type":"item","numeric-id":3220560,"id":"Q3220560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58da2dab8f168d3d9856f98fa88da91c528feae8","datavalue":{"value":{"amount":"+0.82087344","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":"Q1923086$00374370-F9F3-4E43-96FE-91A18BA77612","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1923086","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1923086"}}}}}