{"entities":{"Q5389723":{"pageid":7419297,"ns":120,"title":"Item:Q5389723","lastrevid":51451682,"modified":"2026-01-18T07:29:17Z","type":"item","id":"Q5389723","labels":{"en":{"language":"en","value":"Restricted ideals and the groupability property. Tools for temporal reasoning."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6026953"}},"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":"Q5389723$BE12E63C-EB3F-4BE6-ADFB-CD56004ECEF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0ec125d23dc0578e1e87020a770e99e838ae326","datavalue":{"value":"1249.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389723$8014FE5F-570A-4D0C-B896-06D83449697F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cdc39c76becc92d243187bfde227987cc6857e2","datavalue":{"value":{"entity-type":"item","numeric-id":556841,"id":"Q556841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$9A5FA34A-6A63-4DC1-8432-121B1A0CA88B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3287e6210682ed67b583792b5c99d534c94ec6ac","datavalue":{"value":{"entity-type":"item","numeric-id":246588,"id":"Q246588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$71A5AB92-2342-46EB-8294-3FB3B4A21E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e78cab1e322da7395f1740c11b5122933760076e","datavalue":{"value":{"entity-type":"item","numeric-id":556842,"id":"Q556842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$98F56888-2ADD-4B52-BA67-C8D2246451DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d4bccdf7c2b388b6e3e888805bc1f0030b29c7b","datavalue":{"value":{"entity-type":"item","numeric-id":1403341,"id":"Q1403341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$BF6CD318-B3FC-4530-9A85-88D20BFD9F5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eded58adbdc50fbf2d13f67e42e6e4bf7e9c680d","datavalue":{"value":{"time":"+2012-04-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389723$3F980889-5C5C-4A39-AAE4-35947F2DB3E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b45812afe21a223d29c4966b0a2b7137689f030e","datavalue":{"value":"https://eudml.org/doc/33663","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389723$E2C4C6B5-D53A-4FB3-B144-C354401993D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8e4bb1fea6d1fc53801a12c42566a921ffb3422","datavalue":{"value":"http://www.kybernetika.cz/content/2003/5/521","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389723$7F3F948B-80C4-416C-9B19-52B4421AF0C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389723$13F0B659-2CE4-4599-95AF-E465B58F89C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389723$4521AA6B-441F-43E8-87A3-97516E4A63A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389723$0373C30E-FE5D-4D9D-8923-84455977A405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389723$128F0D96-AA50-49CC-85F7-87215835F1ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e776ea24162c62d9e98757fd34bd704f5b22f9f7","datavalue":{"value":"6026953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389723$C199FB93-5774-4762-94FA-EE761FEDFB8A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f6be13cb695968c916d7350730eb53802ba046d","datavalue":{"value":"lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389723$E12D7257-D8E3-4564-B610-8D75504ED117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6194cd661d3789ad182517f90c1c2c3bfaacf30","datavalue":{"value":"ideal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389723$EF145D9A-12B2-4F37-8058-47C4DAF7A98A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa8a6101ff90bea77f851517b5a991ddcaf7286b","datavalue":{"value":"induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389723$DEF51A23-F939-4275-B872-3D1A757F9E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53eef58615f027b6027e364cb066d3d7469bdd18","datavalue":{"value":"temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389723$B1B968C7-222D-4B1F-8097-3AB9E3E9EB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91bc8c5bbba976a2d4a04cff9c97ee9567968b27","datavalue":{"value":"prime implicants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389723$E688D1EF-69BC-4E5E-B5C8-D74389E7D6F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ebaf8c68af2f167f6db4495cf5a023c843d6de0","datavalue":{"value":"prime implicates","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389723$093F8CAF-A8C9-482A-8733-8FDE682931C9","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":"Q5389723$77849201-3A43-4D41-B181-74FB6A042490","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d843204ce21ea0c560244beb34d1f7e271ef81","datavalue":{"value":{"entity-type":"item","numeric-id":1360676,"id":"Q1360676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$FF9AC129-4A8F-4C6F-BD56-CBF52AA84E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6deaba734a7bb39be4fda887fa6049cc11c108e9","datavalue":{"value":{"entity-type":"item","numeric-id":4494319,"id":"Q4494319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$E3A62A3D-3117-4B2E-BE92-08FE97C32E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6ecb9cf4564da0b28b53c75a12ba43fc6496391","datavalue":{"value":{"entity-type":"item","numeric-id":4443401,"id":"Q4443401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$FB429B06-CD45-4F07-83BF-A5DE18A892DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58a0aafb7500b5214031a7889ca9e7d128650a72","datavalue":{"value":{"entity-type":"item","numeric-id":1403323,"id":"Q1403323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$957EC4A7-A581-462A-918F-CB48B6B58EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a3aa86bf95616814d8c80ffe5f46f52e8c226e","datavalue":{"value":{"entity-type":"item","numeric-id":702096,"id":"Q702096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$01088321-6CA2-4928-AAA7-BF64432002C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b025cc059b6c8ecf0b45330c135cd3a1b40d165c","datavalue":{"value":{"entity-type":"item","numeric-id":5958754,"id":"Q5958754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$4B74EE95-B746-480C-A92F-3476FF1A2942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91d507995080a0c1e8e38122d7102dcfbd332c5a","datavalue":{"value":{"entity-type":"item","numeric-id":4165427,"id":"Q4165427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$5C3321D8-1249-4F17-BD1A-BF9151A47CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b442ee78d214a33621d51241efb2fced2ef1a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4536325,"id":"Q4536325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$A4F021DA-7D66-47CE-8357-3891BB98678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbcbec455659e176b5fe67ec7a1b7a8d1f421034","datavalue":{"value":{"entity-type":"item","numeric-id":1863824,"id":"Q1863824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$A84902E6-3A2B-4963-824A-4ACCD9D06AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b00170af4442605a1b4cc730ce70e6e0cbae4d54","datavalue":{"value":{"entity-type":"item","numeric-id":4360106,"id":"Q4360106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$D56D8405-EC01-457D-9484-7A8F8BAC61E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"214d7f9462e6ac8c2fbe6cae63760207e37ea522","datavalue":{"value":{"entity-type":"item","numeric-id":1308780,"id":"Q1308780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$071389FE-21AD-4D9C-A50F-9E46C472192F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9f2d30ff9736e273353ee12998df77eb6b21c13","datavalue":{"value":{"entity-type":"item","numeric-id":917336,"id":"Q917336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$B2F25164-1B83-4D61-9BFB-E135C2FC3045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc23fa9db53cabf6cb7341125e31b421198676b4","datavalue":{"value":{"entity-type":"item","numeric-id":1199913,"id":"Q1199913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$8FF3E660-0076-4E43-9FC3-EF6B3B2E9024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999538060a662ea97affa194a6c273c3589859d2","datavalue":{"value":{"entity-type":"item","numeric-id":1285668,"id":"Q1285668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$49661E7F-F4E6-4E7D-BE9E-04513BE41709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2c2d2213bbb9543d4ab10bf509a45bafebf9b8c","datavalue":{"value":{"entity-type":"item","numeric-id":4279083,"id":"Q4279083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5389723$4D82673A-C971-4F32-AB0E-075AD76B6664","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c26776c310ad31e32020f1922147b7f09daa5cc","datavalue":{"value":{"entity-type":"item","numeric-id":4494319,"id":"Q4494319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a340878d9496d15472554f5a5775406a12b88e7","datavalue":{"value":{"amount":"+0.7786077260971069","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":"Q5389723$7B4B8CCC-9B66-428B-BEC0-CD55CA5543EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44d5c51984b95a281a7feab831c63d370d4017fa","datavalue":{"value":{"entity-type":"item","numeric-id":702096,"id":"Q702096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd4c49921bb3381cfc229798d2f6be056ff81bfe","datavalue":{"value":{"amount":"+0.7702581286430359","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":"Q5389723$B232D5E8-A98A-449A-A835-7E1D30BCA772","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8482aacb30e17591e3eea978c6653002cfafb7","datavalue":{"value":{"entity-type":"item","numeric-id":1403323,"id":"Q1403323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4483e6bbbdaa24a21c1da1e0a27afca9135b75","datavalue":{"value":{"amount":"+0.7633097171783447","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":"Q5389723$DA69DD30-D611-4D6C-900E-F61874DC2DF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c16ae390c00ea3cba41e216949fafb1a69887e1","datavalue":{"value":{"entity-type":"item","numeric-id":4807685,"id":"Q4807685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7691325b87388c7e4c7b29753cb765b7fc6c1a","datavalue":{"value":{"amount":"+0.7265607714653015","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":"Q5389723$0E933910-962E-4786-9FD0-A4EE4B6F4296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0df4bbe2b1c174f28140725e62d5209168ff2a82","datavalue":{"value":{"entity-type":"item","numeric-id":2364366,"id":"Q2364366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7691325b87388c7e4c7b29753cb765b7fc6c1a","datavalue":{"value":{"amount":"+0.7265607714653015","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":"Q5389723$5D7FF7A8-9843-4F66-8FBD-4088F425D32E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389723","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389723"}}}}}