{"entities":{"Q4923516":{"pageid":6953098,"ns":120,"title":"Item:Q4923516","lastrevid":51721676,"modified":"2026-01-19T16:38:05Z","type":"item","id":"Q4923516","labels":{"en":{"language":"en","value":"Layered map reasoning: an experimental approach put to trial on sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6165880"}},"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":"Q4923516$9818316E-161C-402D-A74B-D8499359B7DA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a46b14719332f93555f807eeb2d4eac26842020d","datavalue":{"value":{"text":"Layered map reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4923516$FE75BE29-210F-4038-9828-03C8295E2B85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18587cc2b04ce17f620ce3f26135255d008cfd45","datavalue":{"value":"1263.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923516$07EE7615-07B3-4B66-86C3-C262C804232A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f2ac79d6962729de3036e5c3b67bacfba470bea","datavalue":{"value":"10.1016/S1571-0661(04)00147-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923516$67273831-2CD5-413C-98BF-55600BB8F575","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb6915ece1ff0e3c04b1478b9a756ad0cf2910cc","datavalue":{"value":{"entity-type":"item","numeric-id":167067,"id":"Q167067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$A9DA2CA1-372D-42C9-B11A-ED91691C644B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2209df4f6a51f96d9dfc5de9b50849ca061d272","datavalue":{"value":{"entity-type":"item","numeric-id":167069,"id":"Q167069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$CEB4CC47-C599-4060-88E4-B0F50198279D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$3EA63925-1875-4926-B86D-15C1B5DFA3B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$25092830-DED9-48D1-B1CD-0909C4E3CE86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9aab91b8c1f524235c5c2b07908fadf10314dd3b","datavalue":{"value":{"time":"+2013-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4923516$5D74850E-08E2-44B2-AC8A-9461C52AD35C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923516$DD590BE1-EB6F-466B-8642-D277E3BE5962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923516$0D6E64ED-296F-4E4C-B296-226D989EB0A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923516$FD9697B4-6CF0-4CEB-80D6-90CE5334E501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923516$00C42D90-E750-4BDD-B4FB-F26B782F77A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0242124561b3926a18106a08168d094268f18aa","datavalue":{"value":"6165880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4923516$E3A37C68-35B4-4B92-981F-D76D2066AEA2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b36a4092864d39bf9c99c5936b3d1261e44b9950","datavalue":{"value":"set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923516$504C9B21-22C3-4136-AF69-50CD3AFA7F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb3fbab07047c5791ba72a7b75887d8555dc9b7","datavalue":{"value":"relation algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923516$DAA6D087-2766-4EE2-9C89-91A73BFF67EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a7ca98acc0b57231afca16bcaa7c874fa3e2e2","datavalue":{"value":"first-order theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923516$D6CC5646-9CB0-4A03-AF47-10417A4A8D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d2aa687cef17cd912aad76972cec097c0540be8","datavalue":{"value":"automatic theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923516$4B6AC697-F553-4E1F-A61F-2BC24E0D0373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4923516$27C41C1A-0C3F-46CC-88C3-64093C6BCA6A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$1A2B9E7F-5F86-40D9-BE51-887ADFF0CFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$B10BB741-5F40-4DCC-8969-088E38FD91FD","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":"Q4923516$392AB7EF-C3BC-4C1C-96AA-DCB9169C739A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b3cd1e4c8a325fa7e9a7d1a0eb085324974feda","datavalue":{"value":{"entity-type":"item","numeric-id":1319387,"id":"Q1319387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$D70CA53B-92D9-41B6-874E-36D3C3578C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f46aebace2a25a127b5f8fa91e5c1e1d9e767403","datavalue":{"value":{"entity-type":"item","numeric-id":1097252,"id":"Q1097252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$AF4DFC02-1A4D-4944-A739-6F9E19050139","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bf4e74a56d02db9ef5de98771c6583ec27c8b63","datavalue":{"value":{"entity-type":"item","numeric-id":3999861,"id":"Q3999861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$9473B7A8-7B30-43EE-9414-DB6E450EFEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79f66b3e734ba3b93446fac7d3da7f31aa00740d","datavalue":{"value":{"entity-type":"item","numeric-id":1870581,"id":"Q1870581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$82E540ED-C58F-4D45-8C8C-3D6C96B3F500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2d7e80e7b46001318a974cf441bfa45393a1480","datavalue":{"value":{"entity-type":"item","numeric-id":2740887,"id":"Q2740887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$D5ACADA2-9165-44DC-941D-E494D624AFFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e69c2d21b2a4e9a6b7c883246f58486a3267868","datavalue":{"value":{"entity-type":"item","numeric-id":5810602,"id":"Q5810602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$0DEF7D2A-DF93-43E4-AA42-3BB7EC7E6ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$514FEAAB-6672-4FCB-BD35-E9D11E644162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a73f00a9ea9c73e80221e1216fdea9cba82377a","datavalue":{"value":{"entity-type":"item","numeric-id":4318638,"id":"Q4318638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$665EF0AC-C027-4F85-9EBF-4A58F7C48431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d790bc88869625190299d1e498dbac9beac011d3","datavalue":{"value":{"entity-type":"item","numeric-id":4503910,"id":"Q4503910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$D4B17013-C291-4B84-94BD-FAE6E35EC6C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df62062d6d8c6767abe6b187dac7d1016ecb592c","datavalue":{"value":{"entity-type":"item","numeric-id":5927984,"id":"Q5927984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$8F4C5BC2-6A05-4AC7-9486-30DE164C9217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"396a7e6a97c04714d2df515098cc07e996829093","datavalue":{"value":{"entity-type":"item","numeric-id":4340535,"id":"Q4340535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$A7DADCB7-EBD0-42E3-A922-B35D50F5DB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe43f8ee3da5f5771d52de00bea9146672c1f6c6","datavalue":{"value":{"entity-type":"item","numeric-id":2648517,"id":"Q2648517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$3C3B0D7E-8804-4E93-B3E1-A590E748C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86db483e9a40527302031aff778bd8060ee45920","datavalue":{"value":{"entity-type":"item","numeric-id":1312157,"id":"Q1312157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$EE68B404-92C9-4777-BDA1-7DFD8D75D11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f73e1482718dd4624ecf9d34b112fddbf9ddec3d","datavalue":{"value":{"entity-type":"item","numeric-id":4884668,"id":"Q4884668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$0FB827FA-0575-44D7-B081-42D6388EA9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9362263354ec633162102a995d0ff53df5d2a42","datavalue":{"value":{"entity-type":"item","numeric-id":3984401,"id":"Q3984401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$C73102AB-38D9-43E0-AEE8-8CB85E75660B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0136d3bc330af377385e6266bfd9e4c2d4c7a96c","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$FDFC5D29-9732-4204-9BD0-AAB6BF093D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097e358c778dbb154854453f32efc62a8e3614c","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$BFDB7E5C-B67D-4B5D-9752-FA53710D8130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847e3dcf8d17a4bf2ebc16dc465d8fb6ca2c9cf1","datavalue":{"value":{"entity-type":"item","numeric-id":4032144,"id":"Q4032144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$20A442D7-5388-47D1-80A3-1C2D0CFAA35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39bd2ee292f1ef9bb837fcb02787034e66618cee","datavalue":{"value":{"entity-type":"item","numeric-id":1063597,"id":"Q1063597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$B0985EC3-BB55-4523-8A42-B466A2670FFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$184C3A68-62AB-4B98-B363-7471E27EBB5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0620e875ace4454552471ddc26f3c19b333694a","datavalue":{"value":{"entity-type":"item","numeric-id":3994754,"id":"Q3994754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$473895E2-91C4-412C-A5EF-0C9E021300B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aeff6bcf80c6c6ed90f345a4f97ff1b37d320a7","datavalue":{"value":{"entity-type":"item","numeric-id":1823017,"id":"Q1823017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4923516$E25387BA-1443-4A0A-85AF-DB1EF27E3C17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69f2a48927bf53a9dd3ff33ad2a42e423ae0b6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4503910,"id":"Q4503910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dffe595a665f88da6607c7ca55fb68c03eabbf6","datavalue":{"value":{"amount":"+0.8174263834953308","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":"Q4923516$EE2D51FF-8D74-4A34-B4CA-617A0DEAE61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f035bb89d7cd940c53fa2fb4065ecd572607e402","datavalue":{"value":{"entity-type":"item","numeric-id":4539604,"id":"Q4539604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d7d58fef80dacea0a087c9c43a3e6c6e1afb978","datavalue":{"value":{"amount":"+0.7614863514900208","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":"Q4923516$1060E6E4-3BDE-45BF-97E7-79B36EBF2287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c35884d37caf07de6c99419c5935d23412ab308","datavalue":{"value":{"entity-type":"item","numeric-id":5927984,"id":"Q5927984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68a5566e8d44307cfdb424265ba338b732361aba","datavalue":{"value":{"amount":"+0.7460057735443115","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":"Q4923516$36591C83-E421-42C0-BD66-A11E5AA0C12B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dff8dba3462c0d742281e13a3acf2e9f92c2e18","datavalue":{"value":{"entity-type":"item","numeric-id":906269,"id":"Q906269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a56a0a1ef231afeb6a4c4a831377f64017b9e6b7","datavalue":{"value":{"amount":"+0.6883114576339722","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":"Q4923516$C8210054-0B94-414E-9C57-61685918EDC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b54f5d11bc3b8255f1021c06f08b4e1355865124","datavalue":{"value":{"entity-type":"item","numeric-id":810491,"id":"Q810491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fbe18570549d05939ef78a3074b145728a7e43","datavalue":{"value":{"amount":"+0.6873394250869751","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":"Q4923516$EE5062FD-67B1-48D8-A727-ABCE6D38DF9C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4923516","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4923516"}}}}}