{"entities":{"Q283735":{"pageid":285502,"ns":120,"title":"Item:Q283735","lastrevid":60640140,"modified":"2026-04-10T18:13:47Z","type":"item","id":"Q283735","labels":{"en":{"language":"en","value":"On continuous nondeterminism and state minimality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6580849"}},"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":"Q283735$902EEC52-F259-4F97-8CF3-C76896EBF7A4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3b70e3116f47ebc9aa74aea699dc4f52ccd5395e","datavalue":{"value":{"text":"On continuous nondeterminism and state minimality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q283735$0B664247-1BD1-4ACA-B550-31CD97CE805F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a423828e6bcfcef6c94232b080d1d91584dd12c9","datavalue":{"value":"1337.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283735$84993164-4AE9-4E1F-9EDF-A74E06ECD726","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0a3f7c11d50764b5763f414538062ef9bd19c69","datavalue":{"value":{"entity-type":"item","numeric-id":265817,"id":"Q265817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283735$C2E5628F-1192-438A-83C6-70ED037B4DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16231eb9cf1a08bfff49d301a5360bb26233668f","datavalue":{"value":{"entity-type":"item","numeric-id":283734,"id":"Q283734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283735$24B6628C-26BF-4985-B920-E1E3C7778242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f7716f1ff6bd259f549a07d8b4e740294ad2d7f","datavalue":{"value":{"entity-type":"item","numeric-id":171464,"id":"Q171464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283735$922DC8A2-EEDE-4599-A87C-B7A367591428","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"659004eb67caabef990f3b9c257f2b5657544074","datavalue":{"value":{"time":"+2016-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q283735$11ECC185-1509-4475-AD39-999CE3E916EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283735$1B204579-BAA9-41D9-BC55-C187C9ED01DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6bc68fdb72eda783db87ef0277cbbfb4c760cdbc","datavalue":{"value":"06A12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283735$5EA75357-0575-444A-B146-E847C8D53627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9de122ab855f9ddfed11049bff6760e78c7b0fb5","datavalue":{"value":"18B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283735$D5D8AE75-5B7B-47A2-8983-401031B8A2C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"da6bb9e4e82c31800f6eb5c65d9d41d5a31cc52a","datavalue":{"value":"54B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283735$9CCF7DEC-571E-443A-B410-18DC7E214E29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acd6bcddee92ff71f4d17785feea20a4dc0120bc","datavalue":{"value":"6580849","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283735$9571B065-77AD-4F3C-A5F2-CB36F15AF29F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01fa5aa544780b984ab96e80d42f5fa8caf47105","datavalue":{"value":"canonical nondeterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q283735$36F10EE3-157D-40B2-A113-70BFEC7176EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5ce4468cecc6033193c66eb441d5023651923b1","datavalue":{"value":"state minimality","type":"string"},"datatype":"string"},"type":"statement","id":"Q283735$72A7E7DB-6503-48DE-877A-E7B1023E91DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f3f1361ad12e503d7aca38ab82d35e58cb8c835","datavalue":{"value":"closure spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q283735$3059205E-36C9-45B6-BA62-188255DA0723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"002f4689690f66ff5ab6361d3264545d4cc2cf88","datavalue":{"value":"semilattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q283735$0EF771DA-A6BB-4863-900F-EA23D348E04F","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":"Q283735$92326192-4D5F-4456-8AE5-5FA0D9CD2001","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6708fdbb133fdf9f1e1ed7556769138d4466ca1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2014.10.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q283735$A2EFC06D-5B00-4C7F-9D4E-1121EEB22262","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b930dafbe8240ea56d37bd97f70ee88b646873d","datavalue":{"value":"W2006066663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283735$531CD30D-1B41-4B78-8E60-7E4A054C207A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fde5a221e4dd57445f96797f70810809fb465279","datavalue":{"value":"Q113317854","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283735$97D359F1-D4A2-4480-812A-B41C5D5F27DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a561b00838631911a92d0602447f576c7bc5b22","datavalue":{"value":{"entity-type":"item","numeric-id":2892761,"id":"Q2892761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283735$C25F4A47-1D77-4302-B596-70A4397C1DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9de0cd56aea94d8a262bcf15db02fb088c20d6a","datavalue":{"value":{"entity-type":"item","numeric-id":2942783,"id":"Q2942783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283735$F0197CD5-3C6A-4CC1-8163-453126788268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a95559a4d80f773d72a450145ac01751def5111a","datavalue":{"value":{"entity-type":"item","numeric-id":3164468,"id":"Q3164468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283735$BE838285-6B3A-447A-AA41-0BA9AF83262E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43c3c79c38d0017404804da3eb9d7043e664a0d6","datavalue":{"value":{"entity-type":"item","numeric-id":5410330,"id":"Q5410330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283735$4967ED08-3549-4F7A-B752-A9DB37B6BE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fd6010ea3d4fb73dabaa449b49e0ac918fbb812","datavalue":{"value":{"entity-type":"item","numeric-id":5199957,"id":"Q5199957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283735$5886DEC0-E4F7-4FB2-8554-1FCA07615187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283735$E88D37ED-F3DA-4017-8E1E-BF7EA039A300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q283735$8E9F3C19-7358-4004-94D8-9C7E14FABBC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e391d57f793e6a6b44cc6c0785c77cfd85434a98","datavalue":{"value":"10.1016/J.ENTCS.2014.10.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q283735$0DBE82DD-F66F-453A-9F7F-F2C7D2E42E6D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fbdf68d1cc42c617a8fb9c4e6fc998514052c7d","datavalue":{"value":{"entity-type":"item","numeric-id":2942783,"id":"Q2942783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"801f18473f53231bb458a6f5f2caa42c4fe467fd","datavalue":{"value":{"amount":"+0.8031154274940491","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":"Q283735$D54A443F-6985-42CA-89A6-D7079FD5F321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a72a773d77bb8e61cf9a1078a11777d79685db7","datavalue":{"value":{"entity-type":"item","numeric-id":3832057,"id":"Q3832057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7147803a8d6d3393ba5be2a139519b629727d7c7","datavalue":{"value":{"amount":"+0.7832999229431152","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":"Q283735$82F35874-0A3C-4F76-95B3-BC2F8513E455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02b57c19bf12472ba0e1ebfe14a41680e7ea6e6a","datavalue":{"value":{"entity-type":"item","numeric-id":1575547,"id":"Q1575547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c9730385e093a52e67691d676babbb2083b47b1","datavalue":{"value":{"amount":"+0.7784208059310913","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":"Q283735$AF2F7619-AEED-4569-B5B5-46EEE4D373AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ecdaea374d3f59341800665d16bf5a2f907dca3","datavalue":{"value":{"entity-type":"item","numeric-id":890382,"id":"Q890382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6a6659b71767add0570081e3306a460fed03eda","datavalue":{"value":{"amount":"+0.7781429290771484","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":"Q283735$23181372-F60B-46FE-B8E0-EDAC3465328F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cc5bc0e184f00b99865ef6afe9884d36293cf3e","datavalue":{"value":{"entity-type":"item","numeric-id":4779161,"id":"Q4779161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c742a01d02df5d032c6ae5cd35a02c5bcf6190","datavalue":{"value":{"amount":"+0.773002028465271","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":"Q283735$F811B79F-01CF-43AE-8C49-61EEDF088F9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On continuous nondeterminism and state minimality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_continuous_nondeterminism_and_state_minimality"}}}}}