{"entities":{"Q3454094":{"pageid":5233494,"ns":120,"title":"Item:Q3454094","lastrevid":58181460,"modified":"2026-04-04T03:27:45Z","type":"item","id":"Q3454094","labels":{"en":{"language":"en","value":"A formalisation of finite automata using hereditarily finite sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6515509"}},"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":"Q3454094$978CA6A1-129A-450F-A76C-2678E356F634","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1ab06b35d802f6dca6582af42118322b94c49ced","datavalue":{"value":{"text":"A Formalisation of Finite Automata Using Hereditarily Finite Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3454094$EBEA3E8B-85EB-4BEB-8457-43F7E107B5AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6ff37cb4db456fca2a4e36d69c34943b61e6584","datavalue":{"value":"1465.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454094$0E83E939-22B5-45D3-B875-9640142E4718","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74fea4c5fc3882d0d4156d03ab1343df1ddc04a7","datavalue":{"value":"10.1007/978-3-319-21401-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454094$928CBC5C-60DE-4CCA-99C0-00C1B2ECA82F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3cc4c7edeb37e5e3024aeff0de74501df6e066e3","datavalue":{"value":{"entity-type":"item","numeric-id":3454078,"id":"Q3454078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$EE8B4CA8-CF8F-4E79-89B1-7B403D1AF4CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f34c33daac76be2878f4eb0eeca7aa927e679a8","datavalue":{"value":{"time":"+2015-12-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3454094$24BC76B0-C607-40C6-9351-8833BA84E0C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fdf0a4253baa41a458c33879c439dcf3dbda2c33","datavalue":{"value":"https://arxiv.org/abs/1505.01662","type":"string"},"datatype":"url"},"type":"statement","id":"Q3454094$678145F4-202B-47B0-BE72-339177C93184","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454094$6C9A567D-CB16-4A1D-8C68-8BE0613BF463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454094$EF785B54-7E4C-4AD7-AC20-C78204ABA340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454094$86DD1FD5-EF16-423C-8636-EC2B6A23F3E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d610f0ae889aa157d6308505295150308b9a870f","datavalue":{"value":"6515509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454094$4A1CAAB8-6495-47AA-921E-2E70A534B09A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$F53C2CCA-1FDF-4DD4-A1A6-713E6B9AC7BA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ad21f150c621099eebc7c2e673cd9cf43b81a4e","datavalue":{"value":{"entity-type":"item","numeric-id":24376,"id":"Q24376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$2D2E1B9A-4EFA-45E6-9EA1-67DBC602B190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14b12f9eed27b20b4d0c60a11537d0587a1c9d03","datavalue":{"value":{"entity-type":"item","numeric-id":40964,"id":"Q40964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$6B831C7A-53C0-46F4-A54C-5D5ADEC468E0","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":"Q3454094$CD26D5B6-2926-4A72-987D-7AC24A2A3A1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9453da52c8fa4b3a68ebe6ea9c3a68dc6464b330","datavalue":{"value":"W1687114231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3454094$027D747C-903C-4F89-93B8-C0A20B2A1E4C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4738798d9702e646d9743f53f948745583da971","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$DEC7BB71-ABE8-460D-B6AF-7D7F5FA5B090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f49fa1f49f14748f70e9226f387711ddcf8fdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2881083,"id":"Q2881083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$14A5CF69-674B-4F71-ABB3-F00FE4825C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0af38a80a15165de9447c68a451d21e2f1f1a1e4","datavalue":{"value":{"entity-type":"item","numeric-id":2938041,"id":"Q2938041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$B2295B33-8587-4E2C-909A-73FE58F3084E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2043397a54eaa38033021fac24881dafefacec7d","datavalue":{"value":{"entity-type":"item","numeric-id":5592246,"id":"Q5592246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$F8E8855B-BB18-42DD-8CA2-AC776F61A0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb53b69a005134b7aae07b4949b21bc26d9d6bca","datavalue":{"value":{"entity-type":"item","numeric-id":4344149,"id":"Q4344149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$5C4CBB7C-C50B-4AFB-9463-E534F00EC9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$23BF4B09-574A-4E71-A5F7-3EA8CE31857A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ba4596dda2eaf2f3298b435046ef0b44494788","datavalue":{"value":{"entity-type":"item","numeric-id":2879269,"id":"Q2879269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$2C956289-F949-45E0-A48A-810DE824F873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9f3d1ae30c91383ada80e5423ca9f4c05b9f2dc","datavalue":{"value":{"entity-type":"item","numeric-id":5277759,"id":"Q5277759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$0523573D-2887-4CCC-A8DC-4BC115D4CE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab84f6aaf590fa756248847abc358b761eb7958","datavalue":{"value":{"entity-type":"item","numeric-id":286772,"id":"Q286772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$EFB260DC-E62D-40B8-9DC1-B8E07C3F7A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a251d54cb8d77477d7b56edd116f203ae2ce0345","datavalue":{"value":{"entity-type":"item","numeric-id":4829437,"id":"Q4829437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$F754C00F-D129-4A4E-8E72-33F89F459BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae619157034cd1b5b5d2d2ffdf596718f766a9dd","datavalue":{"value":{"entity-type":"item","numeric-id":2351151,"id":"Q2351151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3454094$2421B2C2-5078-4796-A5E9-C4E1B81CCBBA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"768faac276cf8255fd203a06c7c6f319e80d477d","datavalue":{"value":{"entity-type":"item","numeric-id":1049686,"id":"Q1049686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18d806fe6729d6262b9986a7bd6acf8129fc691e","datavalue":{"value":{"amount":"+0.7210080027580261","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454094$0317B745-9EC5-43B2-8539-61C351D3CD45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e8b829a6f581f0a830e6784c1d00786a1a347d","datavalue":{"value":{"entity-type":"item","numeric-id":5111332,"id":"Q5111332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29aa499fb1c382eee05d39e166ef382ee5c2e5f3","datavalue":{"value":{"amount":"+0.7118135690689087","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454094$B8916A5B-54A3-4AC1-8088-B02EF830B14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7da573bb2fe73b2a35b388b2a57bb39b406f9d0","datavalue":{"value":{"entity-type":"item","numeric-id":2829273,"id":"Q2829273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73d348f58441f7cc11bcac8d0c47cca51d0d728","datavalue":{"value":{"amount":"+0.6997500658035278","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454094$EA06A50E-6C69-40F6-9BA8-18E24AE97780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cca34a688e81d39a4a340a02b67d1328beac602","datavalue":{"value":{"entity-type":"item","numeric-id":1404990,"id":"Q1404990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea41c09b7cc37878ae1fed29486af631b6029b0b","datavalue":{"value":{"amount":"+0.6966314315795898","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454094$3A916469-1CAD-4406-A6B3-5DA75CE3C26E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5451564f69d1ee9aa0aaf40ebe847b890f466567","datavalue":{"value":{"entity-type":"item","numeric-id":3088018,"id":"Q3088018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ede7ef76c9f26f7fabfff77187472b744d3d2095","datavalue":{"value":{"amount":"+0.6903302073478699","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3454094$B1E312B5-4B18-42B9-AE89-020DBCB4133A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3454094","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3454094"}}}}}