{"entities":{"Q1687766":{"pageid":1698507,"ns":120,"title":"Item:Q1687766","lastrevid":72000024,"modified":"2026-04-14T01:59:38Z","type":"item","id":"Q1687766","labels":{"en":{"language":"en","value":"A formalisation of consistent consequence for Boolean equation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6821868"}},"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":"Q1687766$CBC3430E-3CC0-42B3-B3DD-0E96ECFBE226","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7ad3be5ba4cc504553cbae97d7bbe66effe3f57","datavalue":{"value":{"text":"A formalisation of consistent consequence for Boolean equation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1687766$7C29AAD7-8EC6-47EF-832E-6B1CC258A396","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6532d43a2207f1e83ed2db66697321ae63f2d299","datavalue":{"value":"1484.68318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687766$7604BD8E-66D4-47D3-B99E-67A4379A89C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30382033ccb6b69cd78d6bf9d1b82e5cd08c79cd","datavalue":{"value":"10.1007/978-3-319-66107-0_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687766$06E2324C-074A-4D92-B004-2BD08E3006D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8af7efb5418e950ee13997b0753b06f83e1995ff","datavalue":{"value":{"entity-type":"item","numeric-id":1687765,"id":"Q1687765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$BCC39B90-0A2A-4209-83CD-1200FE9E9B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d617c217f8f04ef480d650a973c1ec01fe67123b","datavalue":{"value":{"entity-type":"item","numeric-id":235622,"id":"Q235622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$8304EB5F-9906-41EB-AFA8-708C1EC5AA7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1cca7caa26c1edecee311baf10734f3d68d8795b","datavalue":{"value":{"entity-type":"item","numeric-id":960854,"id":"Q960854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$4879AF02-F856-40E7-9CA2-22EBCA2CEAE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7600255b4ee907c1b1dfbc5f62c7b1165ab1b6d0","datavalue":{"value":{"time":"+2018-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1687766$896F247C-274B-4BA4-A9A0-26EA99AC4C44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687766$BDB48EBF-0FE7-4238-81F0-61134661890C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687766$5D95EC45-CE99-4812-AEF0-A7CAF628A56F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687766$A305997B-D73F-41FA-A212-4E3343E77972","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687766$A56AB5B5-ADD0-416F-89F0-A4A753F0732E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b4861cb5a7e31fdf476cd87bd775e54983c12bd","datavalue":{"value":"6821868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687766$F5563C67-3B01-4526-AD6C-8DD29107B787","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$15216A1A-E5DB-4384-833B-42E571969DB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$E1154581-DC2B-4A47-8741-6D26709F039A","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":"Q1687766$28E019A9-69CD-494A-8308-4BF12B5472B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"81d600ee0dbdc651ff15c2658dd73fea1003a291","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66107-0_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q1687766$92D67A1F-3457-4AD7-A33F-B917130E592E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46d2c809a755b564fc825b6e8dffb5c3c084b5c3","datavalue":{"value":"W2749282081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1687766$4FCC1DA1-9660-48C9-9FF3-4027820B5599","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f0bf0792d4aa35481ee2e26cf6d044ac78f9642","datavalue":{"value":{"entity-type":"item","numeric-id":5277894,"id":"Q5277894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$E753F062-1C34-4E51-8EBD-E1809396905F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c47b1ec42f76c6c902744c519a0f20cb7d46322","datavalue":{"value":{"entity-type":"item","numeric-id":5326326,"id":"Q5326326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$15B8353B-94BA-4588-AFB8-7941AE8FF328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fa0860d509d7a32953294f255a9faf7cabecdf1","datavalue":{"value":{"entity-type":"item","numeric-id":2350492,"id":"Q2350492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$AAFF468B-387A-4162-A9DC-D959D05DEAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf72d5b8a811a808d21e7e82c8bda02506ae728a","datavalue":{"value":{"entity-type":"item","numeric-id":2891375,"id":"Q2891375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$E96024CD-7376-4847-8314-981A63B3EF95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b15262c9212c1e19c2094ca903b032ba2b7379","datavalue":{"value":{"entity-type":"item","numeric-id":3457791,"id":"Q3457791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$AF7D25A6-FBC4-41B9-8779-0E4B22526CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acccd7eafd07dc3503b73f63fc694c404030064c","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$DFB890C5-E85F-4EA4-9D78-C311C2373367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$442F9956-619B-4F73-953A-83F35EBE6741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca832f29da8945349fbd03e4c8046965a5463f4","datavalue":{"value":{"entity-type":"item","numeric-id":3584957,"id":"Q3584957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1687766$3CA3BA10-51D7-4C71-9101-D4C4D1A2797E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32bb6ec286d741840f92221d5847ba3e4b8d15b0","datavalue":{"value":{"entity-type":"item","numeric-id":2891375,"id":"Q2891375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e7d37abd7534abff1320d419534ad77734482e4","datavalue":{"value":{"amount":"+0.9503004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687766$6EFE97D3-7A84-4AD6-9B64-6B3F2B865FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf406162bd23dd9c925caa640d4857ed42d8c326","datavalue":{"value":{"entity-type":"item","numeric-id":5881278,"id":"Q5881278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ae8471f07f6d406565cee35d5463fe29782a11b","datavalue":{"value":{"amount":"+0.8967719","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687766$BC03B478-4128-4619-9801-4184D0EC7443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c70936515a2d37e912f0bd362d607ea04e4707a7","datavalue":{"value":{"entity-type":"item","numeric-id":3584957,"id":"Q3584957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c75b10d0149aa09201ba9a26057bc89ca9e9e384","datavalue":{"value":{"amount":"+0.88796824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687766$6E773DD2-330B-407D-9EFA-B64F8408FD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"332e772fe0a808e87c8b45b623fb424c6372a321","datavalue":{"value":{"entity-type":"item","numeric-id":5311482,"id":"Q5311482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2f78ee384894d018690abc2d4d41c569db96c4","datavalue":{"value":{"amount":"+0.8840929","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687766$FBF78643-052A-4049-A8F5-3411C6565918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d04dfad32edb259fb54af02d8c8985b1b4a0a2d","datavalue":{"value":{"entity-type":"item","numeric-id":3138862,"id":"Q3138862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ff857b7b84a83789a675575edad12079a0a2108","datavalue":{"value":{"amount":"+0.88004833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687766$B5F6A84C-E9E5-4DB4-AF4F-6A18735812B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5ef90171100145c7cbe1ad588867735c73b1b34","datavalue":{"value":{"entity-type":"item","numeric-id":5166133,"id":"Q5166133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"528deef262d8291d42e819cc18672a7b06911923","datavalue":{"value":{"amount":"+0.8767527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687766$C4FDE307-07F6-44A4-835A-FE4DF326666A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f1342f2fa80443240294e89d6a99c9448f05812","datavalue":{"value":{"entity-type":"item","numeric-id":5714753,"id":"Q5714753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7adde4303d1cba14f896ef71256988a4e2a0072f","datavalue":{"value":{"amount":"+0.87543213","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687766$80D2E3AA-75B3-4D2F-98B5-E3077E295EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a8af14a7c00b29b13f44f231f8746aaabbabe2b","datavalue":{"value":{"entity-type":"item","numeric-id":5111310,"id":"Q5111310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff27b6d3cb796536e2ad7af7c8f26e9db5eeacf2","datavalue":{"value":{"amount":"+0.87457585","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687766$DC6D3DC0-61C2-4E3D-9E07-2878529254B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7045402b4500ba5e62a6d6e2e3246a9f6755a94b","datavalue":{"value":{"entity-type":"item","numeric-id":2842127,"id":"Q2842127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0b0adcc4c966e17ba3f4768ffc9fcd64764de65","datavalue":{"value":{"amount":"+0.87455124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687766$470EC1A2-AD4C-43F2-AEAE-BE971C3F5C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc50d8436f5cc801fe8275d49edb6129e7ef8fe3","datavalue":{"value":{"entity-type":"item","numeric-id":4487297,"id":"Q4487297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667cc247765ddafd80af700c5a4e1251615911e9","datavalue":{"value":{"amount":"+0.8724551","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1687766$273EC0C2-57FB-4475-9524-0DCBDF50D67D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formalisation of consistent consequence for Boolean equation systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formalisation_of_consistent_consequence_for_Boolean_equation_systems"}}}}}