{"entities":{"Q2468992":{"pageid":2479735,"ns":120,"title":"Item:Q2468992","lastrevid":50264711,"modified":"2026-01-13T16:50:47Z","type":"item","id":"Q2468992","labels":{"en":{"language":"en","value":"On a characterization of the lattice of subsystems of a transition system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5231623"}},"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":"Q2468992$659AF181-54E9-4962-8ABA-E9D74B82545E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"abc92c8ce639a04172c42808278f95ad483f227b","datavalue":{"value":{"text":"On a characterization of the lattice of subsystems of a transition system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2468992$A228DF7D-DA41-4514-B8C3-C8643D452AE5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7da95902e08ca4b359812e1a44ce41e8a5dd78c","datavalue":{"value":"1130.06003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468992$B55DBD54-BD1C-4154-871C-5DB07F8D735D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a6425f4e0f97e50c7db52881f8021e3c0a86883","datavalue":{"value":"10.1155/IJMMS/2006/82318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468992$122CB643-55B0-4230-923A-A8BEB8A4A39F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bab3f66ed1173b39714c9955bd7bc2106824d955","datavalue":{"value":{"entity-type":"item","numeric-id":1750070,"id":"Q1750070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2468992$65B4577E-A710-4A4F-BCDD-D01497B1AB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72e74ec3e5363673fac259df13a46c20b3619932","datavalue":{"value":{"entity-type":"item","numeric-id":385015,"id":"Q385015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2468992$1273C036-B063-43AE-AB75-D60FB6D13476","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c4d14f6de16fedb57ef2f0703ad32e93709741b1","datavalue":{"value":{"entity-type":"item","numeric-id":162459,"id":"Q162459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2468992$828DFAF9-C01E-40B7-8FE9-132D532B0732","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa815e2b6a1bb8560c6b83ddb4d0d9db2e9a0692","datavalue":{"value":{"time":"+2008-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2468992$C80CBAFB-378F-433A-89D4-6F433AE79DF9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1d6430e39ea4eb4d5402c02b2553aa47cbb491b","datavalue":{"value":"https://eudml.org/doc/53711","type":"string"},"datatype":"url"},"type":"statement","id":"Q2468992$D9BEDE0A-34DD-4636-961D-81CFEBBCCDEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3c6643ac5f8484c7efe4594526aaa7ddfc09ae1f","datavalue":{"value":"Summary: It was first proved by Birkhoff and Frink, and the result now belongs to the folklore, that any algebraic lattice is up to isomorphism the lattice of subuniverses of a universal algebra. A study of subsystems of a transition system yields a new algebraic concept, that of a strongly algebraic lattice. We give here a representation theorem in the manner of Birkhoff and Frink for such lattices.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2468992$C5FB7AC9-E637-4CE5-B104-FC17A3BFDAC6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c8657ac6c38ed25d0542315e1ea5d0b1ab0616eb","datavalue":{"value":"06B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468992$F8C3669D-B5EB-4F0A-8BBC-804D2D910ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468992$B009D350-C546-4B55-9589-DF968A1CE00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468992$64ECEAAE-E033-4108-A5FD-B6E7123AC1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0a7eb06f78cf1bac52b186f12694848a795f3f40","datavalue":{"value":"18B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468992$222A7ACA-E740-46E8-AADC-82235010B0D3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"625cf4d742ed6032ab34b6e8568f5277ed9259b3","datavalue":{"value":"5231623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2468992$09AE5BB5-BA84-4A51-8820-6F3BCE00F622","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c2de7e0568190cb0f12bcf47e0b03053028aff8","datavalue":{"value":"subsystems of transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2468992$47AFD65F-34D2-4A76-9F40-6BB342A3F961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"128a6c84e1d4a5ff4d0dc36c5f955c6fca643471","datavalue":{"value":"strongly algebraic lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q2468992$8C612F65-D743-461A-8D14-C6C527CD057A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2468992$7D8D3970-9913-4E02-BCDA-CE5D46D612E3","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":"Q2468992$3100A181-D11D-47AB-A371-935434477CB4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2468992$36D449B1-1811-42C8-B16B-A22533BF72BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c66d3eeda68278318b4f46532cc48ccda5baf12","datavalue":{"value":{"entity-type":"item","numeric-id":4826289,"id":"Q4826289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2468992$C28D8EBC-AD1C-4D27-BB75-6BEDCFFE8970","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d981881ddd7e3fa8e6b81c3b4eb1ff1e4ef6add8","datavalue":{"value":{"entity-type":"item","numeric-id":2923940,"id":"Q2923940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c410d808659799049d1c82535c4e6e86fbd91fbb","datavalue":{"value":{"amount":"+0.7339425683021545","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":"Q2468992$58614042-9392-4B4F-829C-C2DBB59D4411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb15cc8e9f1649aa20315ece55a96e76ec4ab3d2","datavalue":{"value":{"entity-type":"item","numeric-id":2725232,"id":"Q2725232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ead05e8aace707b7aa1b7dfb0a1e39efe287087","datavalue":{"value":{"amount":"+0.731728732585907","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":"Q2468992$D085608A-04A1-4D23-B990-45E1866190EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c31bfc7e746639b64927769657b041ca449da79f","datavalue":{"value":{"entity-type":"item","numeric-id":4299125,"id":"Q4299125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ead05e8aace707b7aa1b7dfb0a1e39efe287087","datavalue":{"value":{"amount":"+0.731728732585907","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":"Q2468992$939C5AEC-6F86-4FAF-85ED-F0666F301C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e79cff527d7d8a25125f85a18938cd0393d1c9c","datavalue":{"value":{"entity-type":"item","numeric-id":4018709,"id":"Q4018709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70fd29c5025aa37f77947ca78300f3923e06b85b","datavalue":{"value":{"amount":"+0.7176935076713562","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":"Q2468992$DF6DBC24-7BBD-43EB-8572-4484246834B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bd72fdf72a939558990e331eac075cf99a5c31d","datavalue":{"value":{"entity-type":"item","numeric-id":4441166,"id":"Q4441166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b22441a60cc89cd1b576f53d19f74dabdbf74fad","datavalue":{"value":{"amount":"+0.715315580368042","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":"Q2468992$F7B29A84-8AA5-42A5-A9BB-47CCBA9B928E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2468992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2468992"}}}}}