{"entities":{"Q1887157":{"pageid":1897899,"ns":120,"title":"Item:Q1887157","lastrevid":71064711,"modified":"2026-04-13T19:14:42Z","type":"item","id":"Q1887157","labels":{"en":{"language":"en","value":"Non-structural subtype entailment in automata theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2118421"}},"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":"Q1887157$5C0E42AB-88EE-4C49-8947-8FAD4C7B31EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9addb74b13d648247be4a01eac4df155e9cef982","datavalue":{"value":{"text":"Non-structural subtype entailment in automata theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1887157$66C986B1-526A-4C00-8BAB-1AAFC334D461","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04ecf94c185e6fdd238d58a5f0f6360bdd9dd00a","datavalue":{"value":"1078.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887157$2AA698FE-9593-4847-BDE9-B93281802241","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"774fcf8472305152031f8e09db72c7bd9556b527","datavalue":{"value":"10.1016/S0890-5401(03)00140-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887157$DCAEDBE3-3C8D-42F4-A3D8-F69CC2A76E65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d778d8975d333bedd66ddf13d7dd6389095a118d","datavalue":{"value":{"entity-type":"item","numeric-id":174813,"id":"Q174813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$A28F633D-2065-460E-9209-4C5B508DCE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7840e8745a77fe300e9efdb49b7510093a3898","datavalue":{"value":{"entity-type":"item","numeric-id":1887156,"id":"Q1887156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$85071EBB-013D-48E6-99A8-94E2967F50CE","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":"Q1887157$F5E9AC33-C712-425D-95CF-72E89D1E631A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9270318d08aee06ff5ad0dd5710c08e39d64ffc","datavalue":{"value":{"time":"+2004-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1887157$9405E503-E32A-4DA6-8063-83775831BF0D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887157$04C6841E-229F-4B26-88AD-41FE02B52012","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887157$050E1D71-706B-4C1E-9D11-073CB1789890","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ecc41aacd0deca57b04d2a93fb525ad92bcfea3","datavalue":{"value":"2118421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1887157$5E433C7D-A900-4D18-9BDD-B5117B4E65FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07069202e23960b8ed4732023a80069e9bdc6ee3","datavalue":{"value":"Programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887157$1D1524C6-9027-4F64-8955-A77263A68F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03740713cae576706f2c2fbca7e170aae111c071","datavalue":{"value":"Subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887157$3394684F-DB28-49D7-8678-F9C169D581FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c74c5552698bc5f1378c74a5f1a3f533d21987","datavalue":{"value":"Finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887157$B342A086-A9E8-4095-86F2-17853841FB75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07be4bd0a19dac2c92dc00b3b7dcdeefd3ed46f9","datavalue":{"value":"Word equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1887157$E2A1D9A5-05BD-4F37-BAA5-83832DC8ED7B","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":"Q1887157$6E48F00C-95ED-4762-B671-BC8E1D979F7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fc97f546228c5c4ad050bfe934a2da9822d01f2","datavalue":{"value":{"entity-type":"item","numeric-id":1918503,"id":"Q1918503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$F1C250B8-7ADF-40E5-B60F-FE00C2A5A616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c9af902799d60000f94a2d083e7e4f45c29b93f","datavalue":{"value":{"entity-type":"item","numeric-id":1921846,"id":"Q1921846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$F05F1858-B7EE-4905-9EC7-6E961B330C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44800c5798875844175881ea0eb7030d0077512a","datavalue":{"value":{"entity-type":"item","numeric-id":4222755,"id":"Q4222755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$E6CDA73E-8429-49AF-97D6-D66C142BA6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"040f5839a8a0832570521f20d279b9902d1d22f5","datavalue":{"value":{"entity-type":"item","numeric-id":914357,"id":"Q914357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$1F6B95F4-FB47-48AF-9CD8-FE19C92FC7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e8d9092234dd4289988ba4e073f4eadee7dd3d","datavalue":{"value":{"entity-type":"item","numeric-id":1337466,"id":"Q1337466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$CFAA0127-4BC2-450F-9FA3-83176909B718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea65036ecd194ff8221becdeb615d4d21186d775","datavalue":{"value":{"entity-type":"item","numeric-id":4847313,"id":"Q4847313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$A5550910-B394-4A7A-B5A4-8B08C21E6D74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092348088466a9288a4b352c8d624aae9ff71ffb","datavalue":{"value":{"entity-type":"item","numeric-id":4159542,"id":"Q4159542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$B4878681-33E4-4358-9A78-0038BCBCECA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a9169f9863dd0cf907a7ea462945e74c6dee2f","datavalue":{"value":{"entity-type":"item","numeric-id":4939703,"id":"Q4939703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$6FE4C5F9-316D-4069-89D1-A9B8DE84A643","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ee674cf89e165b8b27bb0a80fa37913ba4e3a0a","datavalue":{"value":{"entity-type":"item","numeric-id":4936124,"id":"Q4936124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$388D97F4-E757-43EB-907F-448237047D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62c04e3330f943e1725b7b0e7503437822bca941","datavalue":{"value":{"entity-type":"item","numeric-id":4501588,"id":"Q4501588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$EB294521-F225-4CBC-89F6-541151951B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5f775e9947bbe4b61b221fd6f44ae15109fcb77","datavalue":{"value":{"entity-type":"item","numeric-id":5714449,"id":"Q5714449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$DB425086-D2E2-4140-A2FE-82FD193B52A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"879e59be2042b2728832b8e7369248a00db87b85","datavalue":{"value":{"entity-type":"item","numeric-id":1355750,"id":"Q1355750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$20C8F13F-5D63-4237-A4E8-29129F9C9F66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa6134c7970e1b3c5a78c5580580268782fd98e","datavalue":{"value":{"entity-type":"item","numeric-id":2817691,"id":"Q2817691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$94BEF2DA-F6B3-4049-995D-5F9AF1FBEA2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cec8627b58ce0ddf1babc17382872c678cc9547a","datavalue":{"value":{"entity-type":"item","numeric-id":5348899,"id":"Q5348899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$32820E02-CD7A-423D-A139-18362764BD9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b73cc94f4a6d87984319ad929de757cddce8f7e","datavalue":{"value":{"entity-type":"item","numeric-id":6169560,"id":"Q6169560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$42B3CCF1-BE88-44F5-80CB-64B12D983D31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01915fe3bafedb15c92a8057e6ea004cb9c13b3c","datavalue":{"value":{"entity-type":"item","numeric-id":5178907,"id":"Q5178907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$57CE8231-70D1-46D7-9699-18ECB1F91C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b308bdaf4dc406c3dc1e38d0ae73403590221f","datavalue":{"value":{"entity-type":"item","numeric-id":4508312,"id":"Q4508312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$C112D33A-ED2F-45C7-BBF9-125CC0DA6FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b55c1e75b862d30518e10c514894d075eec02488","datavalue":{"value":{"entity-type":"item","numeric-id":3961663,"id":"Q3961663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1887157$801BB17C-4231-4CC3-8E21-6AA2367E692E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb5d3093618257c031d00ee73d6d23c3c34229c","datavalue":{"value":{"entity-type":"item","numeric-id":5714449,"id":"Q5714449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62b2f9af837974997e2ddf1a5102b716e9ae827d","datavalue":{"value":{"amount":"+0.996106207370758","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":"Q1887157$97B07A3A-8927-4DAF-BB90-7D83C8F258D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21b7ee4fc64b8db1f89b15c8698f79e2355a8206","datavalue":{"value":{"entity-type":"item","numeric-id":5178907,"id":"Q5178907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f73f9607c78d121494649ed1926a300759385f","datavalue":{"value":{"amount":"+0.7682400345802307","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":"Q1887157$CC5BE9DC-3E7E-45FA-B5B4-4255C6DE86E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a22fb853c621a732b25010de01068ea08af6567","datavalue":{"value":{"entity-type":"item","numeric-id":4501588,"id":"Q4501588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"051ca3f6472db8fc84bf7619b2ed69b20c835f74","datavalue":{"value":{"amount":"+0.7505542039871216","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":"Q1887157$84E67EBA-7F46-4377-A0BF-799C66271472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcaaf9b9a706a03db27bbbbe132deaf3aedd0d50","datavalue":{"value":{"entity-type":"item","numeric-id":1400717,"id":"Q1400717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80aaeca267036821bcc3c61db8a3ea06b3b3e0dc","datavalue":{"value":{"amount":"+0.6896231770515442","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":"Q1887157$6B5F06AB-AAB6-41BA-A5F5-3E67622484C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f416d20c69b3f86bf37a507d6f30a51e34052efd","datavalue":{"value":{"entity-type":"item","numeric-id":5216326,"id":"Q5216326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05233d7b411febfd8b3c3dd33adbfd6f07297f51","datavalue":{"value":{"amount":"+0.6887319087982178","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":"Q1887157$B0EA5494-539A-40FF-9D42-E11BDA94A000","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Non-structural subtype entailment in automata theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Non-structural_subtype_entailment_in_automata_theory"}}}}}