{"entities":{"Q6488469":{"pageid":14067238,"ns":120,"title":"Item:Q6488469","lastrevid":99604754,"modified":"2026-06-05T20:21:41Z","type":"item","id":"Q6488469","labels":{"en":{"language":"en","value":"Congruence Relations for B\u00fcchi Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7676997"}},"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":"Q6488469$CF4C57F7-629F-46DC-904E-3741FCD1A9B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7642a38dbc960723414c4eb179ce1097f519e1e","datavalue":{"value":{"text":"Congruence Relations for B\u00fcchi Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488469$B89C7019-7AF3-4B49-AA56-3E8531A309A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da6beeea8ef4f6c349ededdbfb290ec73f3b2bfd","datavalue":{"value":"1521.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488469$BC767E20-37F0-4251-AFD0-3DCDF92F75B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"14fd730bfe85720b2dfae1ca41610d4955db8d74","datavalue":{"value":"10.1007/978-3-030-90870-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488469$90F91DF7-B897-4837-BE1F-D1251A319F0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"525be268eddb5d95f5464c718ca2a74c2b70e47e","datavalue":{"value":{"entity-type":"item","numeric-id":1660782,"id":"Q1660782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$1DBAAA3E-AD2A-46AE-8A41-614B98D5C05A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b20f6ece5fa5cc40707815445e71b70bca478f","datavalue":{"value":{"entity-type":"item","numeric-id":671673,"id":"Q671673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$6BF76CE3-AEB0-40F5-A38F-D77E0CA8634F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7df2d49a710f5b21adfbbe3b8775543132e5a670","datavalue":{"value":{"entity-type":"item","numeric-id":282104,"id":"Q282104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$16955FFF-646F-49B3-A5D1-B7AD71B8FF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$84184980-9C29-4ACA-8B13-6741DCDDE998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5894425868796c1c566a284833508f3ef0277bc9","datavalue":{"value":{"entity-type":"item","numeric-id":764615,"id":"Q764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$C0514DCF-6A5B-4E77-B0DE-D83F1A51B7E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"260332f705ad2e0d1275bea375e8ebc598a68071","datavalue":{"value":{"time":"+2023-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488469$D69EE64C-FD71-4584-A3D0-9D657803A2E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488469$34C46121-1AD2-4B7E-A0C4-3AECD078F8FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a303cb109cf735ae22c1e6524b011fcc45979a53","datavalue":{"value":"7676997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488469$5C01EDB9-5883-4D00-A3E6-395C290E4FA1","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":"Q6488469$0BC28AC9-9EF5-4AF7-99D8-82E6F8359B26","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3be44c7d48e67ec2737b6b9719ee682ab48e239d","datavalue":{"value":{"entity-type":"item","numeric-id":3090830,"id":"Q3090830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$533B9013-1531-45E8-ADD9-401C04B409FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e877d651f4fe65fef78836ab9984f4a797d2b7f","datavalue":{"value":{"entity-type":"item","numeric-id":4603446,"id":"Q4603446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$AC092717-24B4-42BC-B92C-8D4FE4361D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"571d27b67ce1f37527d15d002aa09cb3f2578bc9","datavalue":{"value":{"entity-type":"item","numeric-id":329611,"id":"Q329611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$988123C0-8743-4DE1-9714-4D480EAE77A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7a30a939090a3c23bf0f46867938a34d999a1a1","datavalue":{"value":{"entity-type":"item","numeric-id":2892768,"id":"Q2892768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$2BB325C8-E4B8-414F-9471-3DDE91732E84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$7B798A6E-6C8A-4D8E-AAB5-4E154EBE3D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257a1d2953e29e353acc85e75297d9fc4987bd53","datavalue":{"value":{"entity-type":"item","numeric-id":5890066,"id":"Q5890066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$736CA22D-EC76-4AE4-BD43-A0156D70C687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c501d1a13bcdd6d815089b290484e1bfbc13abe4","datavalue":{"value":{"entity-type":"item","numeric-id":4625701,"id":"Q4625701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$B813AB11-4F61-4503-84B1-983BC27D4F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5132ec1ad4854b065a2ce166ce91ff2ebf2f175","datavalue":{"value":{"entity-type":"item","numeric-id":897653,"id":"Q897653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$6157ABEA-EA3D-444A-97A0-C97C905DAC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"974d27bb6ae96f431a93b0bde28566a067e2dbb4","datavalue":{"value":{"entity-type":"item","numeric-id":4913776,"id":"Q4913776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$85448744-0930-4036-BF47-45EDA5D6106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75cfb2ab625e62feb4087fd15200cab4e676b83","datavalue":{"value":{"entity-type":"item","numeric-id":3557078,"id":"Q3557078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$8B5C0228-1C74-40DB-AAAE-20E6941F23BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b388c0771db5db3897588379bd4b417551adfb47","datavalue":{"value":{"entity-type":"item","numeric-id":3521961,"id":"Q3521961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$44AF9D09-F50C-4101-947A-0255022907F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f9fc29b8eb7359f1f119ce79ad0594261fa6217","datavalue":{"value":{"entity-type":"item","numeric-id":2327557,"id":"Q2327557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$25D6C3CD-D473-4A5F-B74F-E91F5F8E15E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ed620432d7ddcf233610ef2f2a050010220ed20","datavalue":{"value":{"entity-type":"item","numeric-id":5949490,"id":"Q5949490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$982D2A81-E6F2-40FA-AA37-6CE1CB511B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$C06F82A8-D5A1-47C7-874A-52EC273975DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"297603f18bbbb35e900d62f30f59f27deebcc742","datavalue":{"value":{"entity-type":"item","numeric-id":3303894,"id":"Q3303894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$DAD784DD-1EB7-433F-AF69-9A7624EC6E68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f266f11d0364bdec27a15e27ebdf3a6e748a68","datavalue":{"value":{"entity-type":"item","numeric-id":3264483,"id":"Q3264483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$01A175E7-9C94-4801-8B3B-72E00EF7CF81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d079b47cf1ba2d598f964b28ddec583cafa7821","datavalue":{"value":{"entity-type":"item","numeric-id":1088653,"id":"Q1088653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$25D8BE6C-48CE-4B20-9F92-73EF12420FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$43359524-9249-4D75-AF0B-8421398FBD7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4653c4bce41e453d944c01560a098b2b498c9c7","datavalue":{"value":{"entity-type":"item","numeric-id":3518271,"id":"Q3518271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488469$CEB59E4C-B3A6-40AB-925A-E00257A5E6CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89f3f4a327a0395ccdbeb41db1d17a0ba224c396","datavalue":{"value":{"entity-type":"item","numeric-id":5390016,"id":"Q5390016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d90b710dd8b792a790d7f46f7aa78bf2b500e4b8","datavalue":{"value":{"amount":"+0.7760912775993347","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":"Q6488469$9F943302-C0CE-4F01-A0C2-AA4D46CC3351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f631dc899a8d27bb7b71797a7d9e82999f39275a","datavalue":{"value":{"entity-type":"item","numeric-id":3000608,"id":"Q3000608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c501a0cf5407a5e0719128dcce029568eb6a43f2","datavalue":{"value":{"amount":"+0.757343053817749","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":"Q6488469$420C0AED-3031-4BE9-8E8E-EC68A813D91F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95111abec2da19a096dbfaf2c123d478504e675","datavalue":{"value":{"entity-type":"item","numeric-id":5145275,"id":"Q5145275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e6a5f84f1febcfb799fde5601caaabc8673189","datavalue":{"value":{"amount":"+0.7526689171791077","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":"Q6488469$94AEF918-7A10-4A29-901F-F074E77605C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d4812e74667e830af80515962e56cb62df67645","datavalue":{"value":{"entity-type":"item","numeric-id":5484906,"id":"Q5484906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e0eddb80599efee84d512d4ab44770f31d6763","datavalue":{"value":{"amount":"+0.7475468516349792","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":"Q6488469$CAF15C72-62CF-4943-9B78-880D86F61F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cce2d5ae8677f8dbaaf06f27ce6827e07f518175","datavalue":{"value":{"entity-type":"item","numeric-id":5394176,"id":"Q5394176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"842988b89c02d92ce216a182319e4c9cae36d483","datavalue":{"value":{"amount":"+0.7470683455467224","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":"Q6488469$EC95E927-3F70-406A-99CA-0194C716D9B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Congruence Relations for B\u00fcchi Automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Congruence_Relations_for_B%C3%BCchi_Automata"}}}}}