{"entities":{"Q5540450":{"pageid":7570010,"ns":120,"title":"Item:Q5540450","lastrevid":101427494,"modified":"2026-06-06T01:14:52Z","type":"item","id":"Q5540450","labels":{"en":{"language":"en","value":"Least Upper Bounds on Minimal Terminal State Experiments for Two Classes of Sequential Machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3253959"}},"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":"Q5540450$862EB185-B3EE-47AE-AF6F-1E262D6D9E70","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"30ec31464b6ba6a6c26eb54445f5b1546742751e","datavalue":{"value":{"text":"Least Upper Bounds on Minimal Terminal State Experiments for Two Classes of Sequential Machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5540450$5DA499AF-E936-484F-8D4D-7223DC5FC72C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e846061643c7ced2aed8b57ef9244490e9f6917d","datavalue":{"value":"0158.01003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5540450$09846F99-3701-48C8-A5C7-1DDC7C55EEDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e4ab3802feb7b8d8f8ad3698944401203f8398e","datavalue":{"value":"10.1145/321088.321098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5540450$9EB49BE3-809D-426D-B014-D87D7275B76A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5540450$A10052D7-175C-4ED6-9123-8FEFA2EC677F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b733604afa3a648384279f872bdd54e6b747380d","datavalue":{"value":{"time":"+1961-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5540450$04158EED-7F05-4D1C-A136-D9021D392374","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1469bb911a20b488ff7d2eab1f24b68576eee5ae","datavalue":{"value":"3253959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5540450$CB3B4A35-EDC1-4DB6-8181-D2973C14155A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5540450$DECF7242-40B6-4DA8-BFA5-E3E236E1A033","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f67cc2269bceb26f79139eb55c7d0ee2bd7d07d","datavalue":{"value":{"entity-type":"item","numeric-id":1141476,"id":"Q1141476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5540450$B9DFD55B-F692-41A2-8074-A0ECE4F8AA95","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":"Q5540450$E3BFAAB9-6CD5-4F4C-8E3C-7B3A319F606F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"901843273b8c36080a6ebc7fdfdcd09b6ecd1557","datavalue":{"value":"https://doi.org/10.1145/321088.321098","type":"string"},"datatype":"url"},"type":"statement","id":"Q5540450$235114AE-693C-4B93-A02B-2EC5966A5D87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33d66b9973aba1c68617417a156cf4309a230b65","datavalue":{"value":"W2097097579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5540450$53ADE896-5B2A-4602-87D7-E23AA5FE5AE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Least Upper Bounds on Minimal Terminal State Experiments for Two Classes of Sequential Machines (scientific article; zbMATH DE number 3253959)","badges":[]}}}}}