{"entities":{"Q4943553":{"pageid":6973135,"ns":120,"title":"Item:Q4943553","lastrevid":47460079,"modified":"2026-01-01T19:39:22Z","type":"item","id":"Q4943553","labels":{"en":{"language":"en","value":"A Finite Axiomatization of Nondeterministic Regular Expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416509"}},"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":"Q4943553$1C46DC6A-0DE7-48CA-92C9-58E435575DD4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24ffe5f4dc44928fb0fbbe96dfdee5898e8c2870","datavalue":{"value":{"text":"A Finite Axiomatization of Nondeterministic Regular Expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943553$CC16A74C-E206-4EF7-AC2A-1E5D55103CDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d994d85a8bb17ea1b2bf4741d89f1844726af642","datavalue":{"value":"0945.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943553$1846780C-9DD3-487F-A1D8-85FD4AFE5D55","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$9633D7DF-C55F-45E3-97CF-D17DFD15A33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bee65a70d0957435b8677048012b64cd699e6f41","datavalue":{"value":{"entity-type":"item","numeric-id":236445,"id":"Q236445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$04F143D1-A5E6-4793-A750-85D4D5688481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cca12677f2478e2b66d7a7a0ac2c7062b971caf","datavalue":{"value":{"entity-type":"item","numeric-id":234453,"id":"Q234453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$6F4C5EE3-805A-46B8-B90D-1B2898E8978A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$AB989E33-55D5-426F-BBCB-665F10D49321","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4a831e2ddd3ec081d65f9d9ba86075a05ae19362","datavalue":{"value":{"time":"+2000-10-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943553$9B7B2ACD-54F0-4445-81C4-B18DEAC57601","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc259e5f586e7313534ff76842775b4e2e4ac189","datavalue":{"value":"https://eudml.org/doc/221958","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943553$E79040AE-3525-4A50-A309-28A18525F7E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9afe5cda4cb540c765f15c457b12e1903587c7dc","datavalue":{"value":"https://semanticscholar.org/paper/b4a9232fd34f246785df3cdd1327acbdfcbcea7d","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943553$85BE78D2-9872-4EFB-AB59-8AE2956A7DD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943553$C8E124E1-BB15-4848-B05A-6368D0394DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4897136ea1c19614fe909b8db60c4ec176d94a78","datavalue":{"value":"08B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943553$52FCE53F-E14F-4087-809C-ED88DB10E950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7d2bf81dc1732c2095a8c8e7956a5ef5deade79a","datavalue":{"value":"1416509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943553$B3300E2E-1019-49DB-AE52-FBE240F7A60E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943553$3CBB3E5F-8364-4012-A884-1F38F4958FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb8d04c869a7c957a2fb637bf61f6c6b39fe9a39","datavalue":{"value":"regular expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943553$28E003AE-A124-4CBB-8975-7FD60CD7D453","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":"Q4943553$4081885D-646D-45C9-B25F-05367C3520DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ec3efb8c334eedb0936d32a76163faeba5b6096","datavalue":{"value":"W1970606208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943553$05FD188C-C148-4F32-B8F1-601AC072A80F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bbaacb03d01d2d62b8c3318ca5e84062ae1f88b","datavalue":{"value":{"entity-type":"item","numeric-id":1369097,"id":"Q1369097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$997E26A2-814C-4080-9E27-608F59D9DF7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bd631a861a9695337cddb0b15d0ba386658e13d","datavalue":{"value":{"entity-type":"item","numeric-id":1923086,"id":"Q1923086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$559E0AF6-293C-403F-B1CE-35DC154C6FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1ff9ad971719e22c2c0e5b0b2c9e9055f7fe960","datavalue":{"value":{"entity-type":"item","numeric-id":4348001,"id":"Q4348001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$717B2C43-6B38-46C6-A731-16FE1235E9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90df000333f2ade728e9bac0ca621e4ae8fdc43","datavalue":{"value":{"entity-type":"item","numeric-id":1207946,"id":"Q1207946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$CA8803BB-0828-4D24-83B1-5734987E267E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e375c52511dfb34f82e104f95edb5056ad3d650","datavalue":{"value":{"entity-type":"item","numeric-id":3479525,"id":"Q3479525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$0337D0F0-AB33-4FD3-9C62-6839037F82B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$67E46305-8EE1-4F56-ABB9-E70448D621C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f43b0d359af541fcf6431bb8dfafc17e65ec401b","datavalue":{"value":{"entity-type":"item","numeric-id":1970200,"id":"Q1970200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$7A78AEC6-BC61-4D93-B445-FC75FD87851C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e656f037c7b8f0cff7c895b597d06f045367f23f","datavalue":{"value":{"entity-type":"item","numeric-id":3564340,"id":"Q3564340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$2B1F120B-54A4-4A41-8A9A-083A386CCF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"776e9bb2630af984cb377be363b40fad99700a6d","datavalue":{"value":{"entity-type":"item","numeric-id":4375630,"id":"Q4375630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$E467FD97-99BA-46E7-B0A6-1D4CB4DC172A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da59dbaa0ca0b602b06e54bd2cf64dacb22bf6ff","datavalue":{"value":{"entity-type":"item","numeric-id":4571987,"id":"Q4571987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$494944E5-BFA5-420A-AD8C-25630C2832E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$74031B2A-E47F-4A4D-8021-5AB6C7F4F418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58cdaa6275aee563e3b6d25fe327cd0b501c05a9","datavalue":{"value":{"entity-type":"item","numeric-id":1208210,"id":"Q1208210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$36FE59A3-8F46-48CA-8E44-989BECCE4C4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$1251D8B9-DD2A-4216-B5FB-080FA3DFA962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$E099BC36-EFC9-43F7-8A3E-BD762D6B345B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21de29bf9365363cdb3d75c47f1fcf014df66e5b","datavalue":{"value":{"entity-type":"item","numeric-id":3704880,"id":"Q3704880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$FD3741B5-7472-4CB5-8AD0-743A21FDB8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$D4460E5C-7D4A-4C1B-AE4E-0877F58F24F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37011f2d1f562172b8f9857d6459d11fb09eac21","datavalue":{"value":{"entity-type":"item","numeric-id":1057072,"id":"Q1057072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$6682EDC0-0C58-476A-A1D5-8EFEC8888900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$F91BD181-8038-4581-8C17-A8234EA43637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71eac1b970a9841d82a22242f5b840c97934bbec","datavalue":{"value":{"entity-type":"item","numeric-id":4040439,"id":"Q4040439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$B2125D43-64BA-4159-A763-1CA75B40F6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$3CEFE15C-91DC-4598-8F0C-3B653F7CF01B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6611ed6de8858c0611fd34fe4122695cc82d9e5b","datavalue":{"value":{"entity-type":"item","numeric-id":4023244,"id":"Q4023244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$924E27CD-E5F7-41A1-9496-351721DD7C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43e8120c912862c576a3856d36dc5b5adf27d5c0","datavalue":{"value":{"entity-type":"item","numeric-id":3777490,"id":"Q3777490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$064C33B8-8DFC-408E-9568-5C6F302D9B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b1e20aa27e3c87de1be2013b4394841d8c404dc","datavalue":{"value":{"entity-type":"item","numeric-id":5528648,"id":"Q5528648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$B46E76AE-FCCE-4B5A-AC47-78855B9787DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$9F030066-41AA-4B59-8CD1-EBBDDB5375C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a583700fbf84fd4102a2ed450be5c1569efe5b6c","datavalue":{"value":{"entity-type":"item","numeric-id":4279248,"id":"Q4279248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943553$DE77EC33-44A4-4435-AF67-A160B5DF767A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35314ad419476f5b191e6134f2d1d63f95f0dd2b","datavalue":{"value":"10.1051/ITA:1999127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943553$081FCB91-FC26-4C23-9941-F37FE9B94D0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3362a45758726f121c61b3818b19658a6243586c","datavalue":{"value":{"entity-type":"item","numeric-id":1970200,"id":"Q1970200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31b9eb9b305f60d427d551939fb4f335168d461","datavalue":{"value":{"amount":"+0.827104926109314","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":"Q4943553$7ED5EBC8-D475-42A2-A34A-5361B44A985F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"522d6365f9a7ad03dd913a09152e0c68bba316aa","datavalue":{"value":{"entity-type":"item","numeric-id":4542240,"id":"Q4542240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf4b1e6292c064e19eb0beac82a9652e456bfa46","datavalue":{"value":{"amount":"+0.8023690581321716","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":"Q4943553$E3B03159-8256-464B-9B45-3800273AB311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9419b02f0568caa4b6dd90264d745b7894e7a04","datavalue":{"value":{"entity-type":"item","numeric-id":1401324,"id":"Q1401324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be176d730332d9163517f072b8d8732e666bc9e5","datavalue":{"value":{"amount":"+0.7768860459327698","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":"Q4943553$76899B78-8E35-4426-905C-E42183CF7C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8ae3bd9cb47d32405ee5921caf546e3313f09be","datavalue":{"value":{"entity-type":"item","numeric-id":3217622,"id":"Q3217622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"083cd713611f54bf53139c86e7f0761f461178d5","datavalue":{"value":{"amount":"+0.768489420413971","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":"Q4943553$4D33CB3A-AC3A-474A-A569-A8DBD1656FB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c1e93a54b2f3fccebf4009faae2b8573c236bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5096912,"id":"Q5096912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17d2aca8a57c67099983cf205402e6951c508b42","datavalue":{"value":{"amount":"+0.7617353200912476","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":"Q4943553$019E8EF5-FE7F-4C34-A02E-F710D2BD5530","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4943553","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4943553"}}}}}