{"entities":{"Q3077976":{"pageid":3088692,"ns":120,"title":"Item:Q3077976","lastrevid":45400591,"modified":"2025-12-07T06:00:33Z","type":"item","id":"Q3077976","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5852793"}},"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":"Q3077976$0364F977-03F9-4FD0-8C35-5828CA207E9B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d657f238cc138a7b331af75828c1f118d0aae8bb","datavalue":{"value":"1237.06001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077976$DB0DDA0B-BAD5-48CB-B79E-EE9900CB47A6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2131c0f950d0fd8541c671c480aa077e7869a9e9","datavalue":{"value":{"time":"+2011-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3077976$7297B496-87DE-4466-934F-0D414E7162A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1b3e8b418e4dc9f5b101e93fc702bcb68a935954","datavalue":{"value":"06-00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077976$60F1BC50-0946-4F27-8225-DA0782A18AD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f3eb9b2932c3fdc120e877804d57f4cb2d94e9","datavalue":{"value":"06E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077976$DB2706BC-68CD-480F-8A20-19904C166A5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1b46ee66a04673e7d28cb7f562022e7242a220a","datavalue":{"value":"5852793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3077976$FE13EBB8-0666-464B-B249-D0202FD417A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb5a830579b475e59eaac799be7398a9142f423b","datavalue":{"value":"Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$03B877EA-D30B-4A7C-8EC5-32AECD55D78F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36025234c36c45a0194e31cf1a0b6045efa1decb","datavalue":{"value":"applications of Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$838BA2DE-E8B5-4E0A-83F9-731FA29820C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2116caf3570903c340856afbdfac13dd4abffe97","datavalue":{"value":"Boolean algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$73C0F53C-8594-4E9D-9426-5B1EFA9006C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$2EEF30A3-D73B-4D53-B78F-7E2577DD725C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab1771e2732ea75e29a8af410cc61be0a631a9da","datavalue":{"value":"Boolean expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$FC224A2C-A8BE-4AC5-99E1-D5CE40224C8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af76bfbe81b16541cca3b1ddbd068d9d6b8d69f","datavalue":{"value":"normal forms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$621E1261-DD67-418B-9AA2-93D7224042A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb267c32aa43fc9243154769f70c4c21e0f3b821","datavalue":{"value":"Boolean equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$6B228B0B-2F67-4073-8C6A-F8FFDC2D6C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bc8c5bbba976a2d4a04cff9c97ee9567968b27","datavalue":{"value":"prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$D588BCAC-4A36-4279-9461-73FD954DFA17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8a14491c463fc99ba47c33e896a4b22a30b7bc3","datavalue":{"value":"logic minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$D204D6D0-9B45-40A2-9939-DC658162559C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42ea002b03f377d04b33786a5e597ec25f2414a8","datavalue":{"value":"Boolean programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$7614B5C7-1CD0-426D-B3A2-2AD1AFE05FC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$D1E76792-CB3F-459E-A638-20867266206D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ecf978a28e5d1baefdbd10dbc4f102a6158a13","datavalue":{"value":"duality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$E61ED834-10F0-425D-876F-B8AAE25A1E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"236b75db7ae8ed91056b81ec2d5ced982084172f","datavalue":{"value":"quadratic Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$B8CFE77C-8D9D-4AAA-B0D4-96EF67B46EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"930c347145fac874742ddcc634b9a29501080aa6","datavalue":{"value":"quadratic Boolean equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$15518CA7-B8AA-4115-BAC7-FD1F70D539C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d19f9da1e4e1b7ee3f5ef5dadf4765a35f7ed24","datavalue":{"value":"Horn functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$D0499B5C-11A4-4E79-A3CE-270DCDADF59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f958f1f1caf56a0e3143111463ca67fa81df9aa5","datavalue":{"value":"threshold functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$79FA47FD-0CDA-47C3-8F10-6BACA5AB6723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c30c80a7fd18f3b6bb748f20fdafffd92b295b71","datavalue":{"value":"separating structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$0637E21C-B417-4E90-801F-72F07B1FF87A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b44d8159e9b7e7d9243d65f9c37f4cb7466b9807","datavalue":{"value":"read-once functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$DE280C67-8A77-4185-A51D-1917483E0E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7586af9e9462357e9ec8b7c5dc80aed05511fdd5","datavalue":{"value":"characterizations by functional equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$9993B888-A76D-454A-AAEE-F3CAFD1370E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bfadec6bef35728cd18b58cd474edeef8256e2c","datavalue":{"value":"partially defined Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$C3CA8D21-4D23-46F9-AA8B-A87431CDFFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d88bc2b74e3b1de6499293d89dfd17939b3a890","datavalue":{"value":"logic circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$E5BEFCB8-26DC-4770-9E91-8E832663255E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"806675111fb65f0a899869cc01e052042e73cf09","datavalue":{"value":"pseudo-Boolean functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$EB20A1AF-682B-4B52-B239-2D94663704D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8422a890a001f9e5b5f254ce4ae053a7167aafc","datavalue":{"value":"\\texttt{JBool}","type":"string"},"datatype":"string"},"type":"statement","id":"Q3077976$1728E167-CF67-4074-AAF0-C649DE0C6469","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce514966e327ded3c17917f258854330d9f0ecdc","datavalue":{"value":{"entity-type":"item","numeric-id":18319,"id":"Q18319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077976$D3710A34-CB75-406A-8A74-A2220838E16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077976$0D3AE37A-518C-497C-83E9-7E3C3268A3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"314cb7db240b78b9fdebd1fd8b43c1b0f383061e","datavalue":{"value":{"entity-type":"item","numeric-id":24795,"id":"Q24795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3077976$FF46E8A5-8978-478F-80A1-AA032046ACFF","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":"Q3077976$D2D33A9C-F5D7-4021-822E-65D151C5ACEE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b53240812cb720888e876651006e62bbc58b43d4","datavalue":{"value":{"entity-type":"item","numeric-id":4718423,"id":"Q4718423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7755f328681ab37d35c21c38c2b6e7e63e7da141","datavalue":{"value":{"amount":"+0.9185658","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":"Q3077976$36A5684C-25D2-470D-B7D2-6A71E4B719AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15c07246c7588752a4026924fe5efe8c95583674","datavalue":{"value":{"entity-type":"item","numeric-id":642463,"id":"Q642463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"660abfee22e212839c329f5b5bb1f12a504de501","datavalue":{"value":{"amount":"+0.9172628","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":"Q3077976$02ADBBEF-1194-4EB2-8079-31B1836B1CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6182d63d4bec148275791c56d4c12dbc256df833","datavalue":{"value":{"entity-type":"item","numeric-id":3762376,"id":"Q3762376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea29a6fb2f5c5fd14a36ecd17c4fb2de9c878ab1","datavalue":{"value":{"amount":"+0.89982647","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":"Q3077976$5CB0ABF2-EC05-4078-A1F2-E2EA5EEAACA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f2571a7de0544c1b656296c4ad009b396aaf4e","datavalue":{"value":{"entity-type":"item","numeric-id":3346309,"id":"Q3346309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e079769f28b0f59c7f5c10a94eae0f9e935754","datavalue":{"value":{"amount":"+0.8974059","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":"Q3077976$E73AB470-15A6-4A2F-868E-84903D3DD25C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87c4306cb19c1a294717ad964b2977f317cbca23","datavalue":{"value":{"entity-type":"item","numeric-id":3218187,"id":"Q3218187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d856ef9549ea1f12cda6a05c5fb2b28194504577","datavalue":{"value":{"amount":"+0.89740574","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":"Q3077976$AB5951AA-3374-4BF2-8623-7EE2D4D04DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d0520280c8d43d7a113cb9c392391e5bef5fd0f","datavalue":{"value":{"entity-type":"item","numeric-id":3762226,"id":"Q3762226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71567a21b5693c2d891d164884a90df253f480f5","datavalue":{"value":{"amount":"+0.8964248","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":"Q3077976$658C8CB1-370F-4FC4-9725-3D693EBD7C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58f1419563cae5083fb8898c06b83edb5cb4fbe3","datavalue":{"value":{"entity-type":"item","numeric-id":4932072,"id":"Q4932072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04bd103beec99c1aa2b300d765db25c81184828f","datavalue":{"value":{"amount":"+0.89440346","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":"Q3077976$AD3CADFE-E1A8-4A99-A467-3084EF535E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"376ab7006fda2fca9d6653f04d7f889da9a3beba","datavalue":{"value":{"entity-type":"item","numeric-id":3190798,"id":"Q3190798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a98a866e7564f9932ccb25354c3d89557245fd47","datavalue":{"value":{"amount":"+0.89324355","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":"Q3077976$B0F33A45-2EDC-4809-B4DD-157A204BA050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9378263bba223aa6efa78cd271d0eabf4172bcf7","datavalue":{"value":{"entity-type":"item","numeric-id":4205391,"id":"Q4205391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaeca20e6a9dea717b6faee4f3e8c85d1dc2739a","datavalue":{"value":{"amount":"+0.89306915","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":"Q3077976$66E25509-320A-48F9-8362-6DC81187F51D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3077976","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3077976"}}}}}