{"entities":{"Q1095680":{"pageid":1106432,"ns":120,"title":"Item:Q1095680","lastrevid":69827049,"modified":"2026-04-13T10:36:50Z","type":"item","id":"Q1095680","labels":{"en":{"language":"en","value":"Using automated reasoning tools: A study of the semigroup \\(F_ 2B_ 2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4028943"}},"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":"Q1095680$E8407A67-4CAF-4425-ACB9-6C6B403F4093","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9b0909f45bcabd8e389d2e3a1bb190187f50236","datavalue":{"value":{"text":"Using automated reasoning tools: A study of the semigroup \\(F_ 2B_ 2\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1095680$3CCFBDD5-38D9-4E81-8C77-F77CD72E715D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c33b608e0675e2a6272e81228f5b84b927cded86","datavalue":{"value":"0632.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095680$33B43E1F-E1A1-437E-864E-4D55F5B3A15A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c34a268cc2ac65de75506d2c88c1e0fcc02586f5","datavalue":{"value":"10.1007/BF02575007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095680$A53167A5-6F3D-4263-A179-90CF42A5D3D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28dbf90a09492d81530507fd711b9336815e58a3","datavalue":{"value":{"entity-type":"item","numeric-id":172569,"id":"Q172569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095680$FDEABBF2-1CDE-4C3C-A61C-B90D7C69D2C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1095680$BFB10D36-1110-4954-A9F3-DEAFB2D01118","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf442027722632103dd0e38f756d2d559363ef98","datavalue":{"value":"https://eudml.org/doc/134887","type":"string"},"datatype":"url"},"type":"statement","id":"Q1095680$2795AEC6-464E-4F63-BF44-72D9611680B9","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d62b7aaaadef42c92819c6bde195054bec0b3e6f","datavalue":{"value":"The Argonne theorem prover is used to calculate the overall construction, semilattice of idempotents and Green relations of the (72-element) inverse semigroup with two generators, determined by the identity \\((xyx')^ 2=xyx'\\).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095680$FA1E63FA-87AF-465B-AC92-D080A4FA7F2D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"4e1df29911c330da2d8d89435a35b182dae9e523","datavalue":{"value":{"entity-type":"item","numeric-id":589408,"id":"Q589408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095680$3031D0CA-2287-4CBB-A0B0-B0135AB600C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095680$9E059A2A-DBBB-4189-9E5E-EBE665490451","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb8e99ecfb4ed5c3381f7b51c425d4b28ae746fa","datavalue":{"value":"4028943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1095680$743F135D-5D85-47ED-80F2-03FF643C1691","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b904601e0fa15eaec78ccb8e1ec54eeaa149cc31","datavalue":{"value":"semilattice of idempotents","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095680$3D1D1530-6939-4345-A945-9E571B9E2FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f49505e4e2c976866b17f504a4a2917c9677f07","datavalue":{"value":"Green relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095680$14FA5157-3B68-43DD-AE4B-E153E0BEA062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"671b7e2851abb81699e6f9474b39e96bfcf80287","datavalue":{"value":"inverse semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q1095680$95C2ECD7-E81E-4D8C-B42F-7026469D7D58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f961804fcabd02be29d669054528468c74d17e25","datavalue":{"value":{"entity-type":"item","numeric-id":1224804,"id":"Q1224804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095680$B4D16D02-BCDC-453E-904F-14615DC70333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"79e88666855a22bc165f3713b3b7dbbe2e8f99f6","datavalue":{"value":{"entity-type":"item","numeric-id":583380,"id":"Q583380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095680$BCF361CC-DFAC-461D-94E9-67299058FACC","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":"Q1095680$F8A0D322-229D-4962-84E5-5B0351A1D7E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"70200912b15e3f6d8f97f26c605e4ed0a53464e8","datavalue":{"value":{"entity-type":"item","numeric-id":3919057,"id":"Q3919057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095680$25C62B5F-A540-4526-8314-83E6847A4FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22be68e0c1f4267a3312d52f746dd22f5b38b05a","datavalue":{"value":{"entity-type":"item","numeric-id":3788208,"id":"Q3788208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095680$E63BD5E4-8963-4555-83AD-E6D4A1B414F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c53d57a230b4bbfeeca49cf0ac14239a914a144e","datavalue":{"value":{"entity-type":"item","numeric-id":3337662,"id":"Q3337662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095680$3C750A74-6C73-456D-8642-5AC6672CA29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5f5050a7a9f05a4f92e8aa3ca9525e6755a611","datavalue":{"value":{"entity-type":"item","numeric-id":3737667,"id":"Q3737667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095680$A9A15183-8AFA-49A8-B51D-D4F7CD9AA6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef75b4b5ae4f1119c1ac9bfdcf91039dbf37c93","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1095680$99A36421-C130-4385-A6DD-CF3D22EED273","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d02c3de5fc9105ab336610269f2bf5176c08ed3","datavalue":{"value":{"entity-type":"item","numeric-id":3788208,"id":"Q3788208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84ed749dea32e7a8b22a8b042431577e0caa776e","datavalue":{"value":{"amount":"+0.7941102385520935","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":"Q1095680$C6D721AF-BE23-45E9-9F0F-220A53C9D545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19f36ff4983833eb4831d1789c20f5ef97eea71d","datavalue":{"value":{"entity-type":"item","numeric-id":3562322,"id":"Q3562322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf9aa679cf369cbfb9a58238a8c8ebe8aebefb75","datavalue":{"value":{"amount":"+0.7220948934555054","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":"Q1095680$19C44A7F-6B73-4DF9-97A1-EE22445CD77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fc4a734aab1de3a1b1d0b7f38d6e033c060f43f","datavalue":{"value":{"entity-type":"item","numeric-id":5115337,"id":"Q5115337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c89646f4af39804b5a0db1cc789f656a6bd051","datavalue":{"value":{"amount":"+0.7119215726852417","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":"Q1095680$8F5955B7-E9DC-4FBF-8E4B-7D36F49ACC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8b7a7362a88c6d98c2faf50ad2da99778ab3f07","datavalue":{"value":{"entity-type":"item","numeric-id":2709032,"id":"Q2709032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e4470382c445879ee447cb9078ee703a9cbaf00","datavalue":{"value":{"amount":"+0.6984380483627319","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":"Q1095680$F9708AEA-A9D3-4358-BFFC-A8071744D1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2601319965cab196ee62ba288096e7087f282703","datavalue":{"value":{"entity-type":"item","numeric-id":3775721,"id":"Q3775721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a97771575ae693f67c5d4f5abcf7f1d4b57b329b","datavalue":{"value":{"amount":"+0.6982663869857788","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":"Q1095680$D971D58D-3FB5-4E99-9A3F-EF9D2A22028D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Using automated reasoning tools: A study of the semigroup \\(F 2B 2\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Using_automated_reasoning_tools:_A_study_of_the_semigroup_%5C(F_2B_2%5C)"}}}}}