{"entities":{"Q6916508":{"pageid":21001462,"ns":120,"title":"Item:Q6916508","lastrevid":84149321,"modified":"2026-05-11T08:47:07Z","type":"item","id":"Q6916508","labels":{"en":{"language":"en","value":"Boolean rigs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8105570"}},"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":"Q6916508$2EBE7959-10A8-423B-BF7C-FB4F34704587","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f99f41e21c70eda781ea45204a11aad8863f0af","datavalue":{"value":{"text":"Boolean rigs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6916508$EB84B6AE-7C30-4AAA-A3B2-40CB656DD04F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"116143f7a4c7c96e0ccdfb54dd258f367c9bf6b7","datavalue":{"value":"10.1007/S00012-025-00904-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916508$B4C386FC-AB29-4235-B946-270E216D4B83","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78d6bae634d56de0942521ea01684c0436bda977","datavalue":{"value":{"entity-type":"item","numeric-id":2099402,"id":"Q2099402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$714DB38C-F55D-4794-A2A5-2C125A83C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"508ab3977fe59d67f85102e4170d30b94bba9fe2","datavalue":{"value":{"entity-type":"item","numeric-id":290634,"id":"Q290634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$FBF1CF1E-746B-4523-97D2-6B6B8DF7AFF0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8fa179c8715004e2374d4db0c3ce41b39558e95d","datavalue":{"value":{"entity-type":"item","numeric-id":178112,"id":"Q178112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$F171DEF8-D301-4CBA-8C03-968A79395DE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1be1a084743b7fe843755b397196118f7c063294","datavalue":{"value":{"time":"+2025-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6916508$C6A5BBFF-3278-415F-904F-0CF8314B9514","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bfc49eb62e0d33079720f377ccf814211c24ac","datavalue":{"value":"06E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916508$297489F2-8121-4A62-8A8F-563541201CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916508$70E3BDD7-3150-4CF6-A9C3-DC1DD2BE779A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916508$FB5EC1A7-9778-4AFF-8710-21428A010497","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2d1b81080747e625d4a2499a02fbb65867c21252","datavalue":{"value":"8105570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6916508$BCC16579-4209-4315-A3DF-216D96573EDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfa6f50b9700eb4699723de51c40290896f31ee6","datavalue":{"value":"partial function","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916508$CC4F95DE-B38E-4F02-8C53-10C15615D5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916508$7C30894C-5E2F-4D2A-9264-C4FADD554695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"04c68e23d531a4ff9fe73f7da61b48da898732c7","datavalue":{"value":"involutive bisemilattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916508$D66EBA30-6569-496E-A904-DE2E3A3A6630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf388dca54e28334ef8c64703b50d3b33c48aea","datavalue":{"value":"Stone representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6916508$65C4AD7D-E586-4D8A-8F8C-7B9AFEF7D892","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":"Q6916508$784FB43A-6EA0-4586-84BC-CB5BFF282270","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"447747de82c179aa568905f67af8894e7629efe9","datavalue":{"value":{"entity-type":"item","numeric-id":507199,"id":"Q507199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$17E0AD12-BA53-4A18-ACD6-89138F18023A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a7f95a181a122f35ae18fd86fcaee76950d7cde","datavalue":{"value":{"entity-type":"item","numeric-id":5532570,"id":"Q5532570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$50A4FAC0-257E-4D26-A615-6620F8A9E33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4122519b918206897f0af20a4d6bc87fe7850995","datavalue":{"value":{"entity-type":"item","numeric-id":5573965,"id":"Q5573965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$29FD292A-6674-4DE1-AFEE-61DBB410CA7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02ebf0568f47635f182c488d881f7744ddea83e","datavalue":{"value":{"entity-type":"item","numeric-id":3803111,"id":"Q3803111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$761B28AF-8D0A-4111-9950-81F5FB16AEA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e5e01c2314637810178cfa09e2365e9b204ec61","datavalue":{"value":{"entity-type":"item","numeric-id":5650674,"id":"Q5650674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$C51DE99B-B88E-476F-BCE5-5EE149B98C2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd271260bf79b0f1d6c5197593806734e0b7e829","datavalue":{"value":{"entity-type":"item","numeric-id":1632048,"id":"Q1632048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$8CF07CBD-C16E-4F7B-84B2-EBB1DDFD713C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdb02a8cbc0c6812de30af50942e4a7fe81b51d","datavalue":{"value":{"entity-type":"item","numeric-id":526733,"id":"Q526733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$B4FC2EA2-3638-4658-B398-B419C71E0D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91487c398930c8578ef17d23799a236dd3a79c05","datavalue":{"value":{"entity-type":"item","numeric-id":2311329,"id":"Q2311329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$A4918A34-C338-4429-9959-A29D577A0F25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"027f3802cc76ef5af1292a052318639fccac67cc","datavalue":{"value":{"entity-type":"item","numeric-id":2237506,"id":"Q2237506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$F15AF600-D616-4BED-B623-55BF5B96BA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d57f8d8ea9fd6d41cbbdfc1b13723124535c1d9","datavalue":{"value":{"entity-type":"item","numeric-id":2422316,"id":"Q2422316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$13B69B68-6B7E-44B3-A88B-62294E85BA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f4da2126d4a4a83798108738b41915ace14451f","datavalue":{"value":{"entity-type":"item","numeric-id":2673340,"id":"Q2673340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$B9E4BF04-5772-42CA-9FA3-3EB628BB72EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bd8ef32246eb22b8e7dd7459bdb5f8cc02639c0","datavalue":{"value":{"entity-type":"item","numeric-id":4697514,"id":"Q4697514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$B87E6520-9728-4B08-9AEF-B5E3FC757E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$28003D5C-5AAA-4577-B228-253D52289667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32ac1f2f6fa855eb2e71fe2134ae3acdfb8f2813","datavalue":{"value":{"entity-type":"item","numeric-id":4483358,"id":"Q4483358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$8582F30A-65E4-4527-8C3C-1818E02C9CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42c3a3b9b09a0aed72e7745d43d1e91965abd68e","datavalue":{"value":{"entity-type":"item","numeric-id":3669591,"id":"Q3669591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$CB6AF296-1819-40CD-AF4A-68533FFDA303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc960d5578d50a62f3f4284fc62698db86743a2","datavalue":{"value":{"entity-type":"item","numeric-id":3533040,"id":"Q3533040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$EB88AF9E-2D18-4928-AFF2-8061D91C5294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92af400f0ed2ca96524ddd8a70626fa4f9ba2099","datavalue":{"value":{"entity-type":"item","numeric-id":4449426,"id":"Q4449426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$35E81B79-81FE-4B23-8E2B-171F16F559F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba4e85363eeabe6d4bb877eb112267fc92de2d6e","datavalue":{"value":{"entity-type":"item","numeric-id":5459443,"id":"Q5459443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$70846244-4E09-4A37-9D13-36E7B0F9B4EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eafa87c266a7c18e3ace9e65b49c59b5f5be5c","datavalue":{"value":{"entity-type":"item","numeric-id":3162101,"id":"Q3162101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$DED9DCFB-872B-4AA2-BE71-4A29DBE554F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ca8eaadfe6e3c1931653f8f8f2aaa5e6b28d2d1","datavalue":{"value":{"entity-type":"item","numeric-id":1196778,"id":"Q1196778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$C1659F80-EEC2-4B00-A2A1-000107B62237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d878fe39fb5e422372741863ab11a3320c49a105","datavalue":{"value":{"entity-type":"item","numeric-id":4770999,"id":"Q4770999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$6081739F-41AA-4801-A284-2FB647B9B84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3aa0161970108ac5af543fb347c2653469a6a7b0","datavalue":{"value":{"entity-type":"item","numeric-id":4302451,"id":"Q4302451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$C5C26700-C1E0-4AA7-ACEF-64A86B35A058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1536047fa128c2bce7315a3157d37136d0a80e6","datavalue":{"value":{"entity-type":"item","numeric-id":3965241,"id":"Q3965241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$4A52ECE5-366A-4BAD-B52D-314E5C8D5E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8459862735a3ec9272090d344676c06d659741b","datavalue":{"value":{"entity-type":"item","numeric-id":3994998,"id":"Q3994998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$B05C22DF-D13A-4EE0-8373-341B53ED8599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32b6a04c7ae3f39028044cc82db69677c3aca2c8","datavalue":{"value":{"entity-type":"item","numeric-id":1744009,"id":"Q1744009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$B4B14CEB-9F31-4740-9A00-2836D24BAD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350b3c073f5c301b40afddb5a7ec74ff1f2c5297","datavalue":{"value":{"entity-type":"item","numeric-id":7020817,"id":"Q7020817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$C8767815-C83A-4E11-B9D3-E0783695CE4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cadb1e08b589fad3a60a578a50d93ec436bb2fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2104273,"id":"Q2104273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$55745B79-E56C-4768-A366-5F7B54F35946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4607a759880db20f15abbcce4041b5996d761fcd","datavalue":{"value":{"entity-type":"item","numeric-id":5555008,"id":"Q5555008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$E597F9EF-FD70-4A61-B919-B00CD65472A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"909be9b88c2277eca46dc1d9b7b307c1d507ac45","datavalue":{"value":{"entity-type":"item","numeric-id":2550040,"id":"Q2550040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$01AF14FA-2A7F-4C8C-BC78-DFED848CE38E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66dfc93fad28754166fd4636ea4e29e0ea891f67","datavalue":{"value":{"entity-type":"item","numeric-id":799712,"id":"Q799712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$1B825109-E84D-4C97-90DE-9965D431526E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae639fa80e7644ce2af9a3dad7ad0b97ab0772a6","datavalue":{"value":{"entity-type":"item","numeric-id":4029633,"id":"Q4029633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$A7D5145A-837A-4567-9D91-E534B37A68F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8f5776baa82307d2753413ca834a83920149598","datavalue":{"value":{"entity-type":"item","numeric-id":2904716,"id":"Q2904716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$5898C3B7-7F8C-4774-AC5C-5D37E9EE5715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08ba2628aac6c7cc6b69e02e81860b95e2cafdf9","datavalue":{"value":{"entity-type":"item","numeric-id":4180419,"id":"Q4180419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$098A8E24-1F9A-44DC-A931-DC95F76A8FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"490bf98783905a7b3373f8255009983f3c238ae0","datavalue":{"value":{"entity-type":"item","numeric-id":4789441,"id":"Q4789441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$F49B79EB-B92B-4CB6-B699-09C39BCD8CC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3239fc1c438acfe15df113645b08fe9cbc86dda0","datavalue":{"value":{"entity-type":"item","numeric-id":3978988,"id":"Q3978988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$A4A9657C-8326-4CCD-A2CD-424449CAD8DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a02cadedd7a65e75efe02bdda275daf43b301610","datavalue":{"value":{"entity-type":"item","numeric-id":5763114,"id":"Q5763114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$07FB1700-5AAF-473C-82A3-BEA80D7D8007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc621297094050da8280b3cbdd8abfec1d385204","datavalue":{"value":{"entity-type":"item","numeric-id":2603652,"id":"Q2603652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$458C60F9-19A0-415A-966C-6B6C97665706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04a43bcc526c21a665d001448362eadeb2c48dd8","datavalue":{"value":{"entity-type":"item","numeric-id":775842,"id":"Q775842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6916508$C983C083-DD61-4A76-A219-2550B968BECE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean rigs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolean_rigs"}}}}}