{"entities":{"Q3185759":{"pageid":3196467,"ns":120,"title":"Item:Q3185759","lastrevid":52587800,"modified":"2026-01-23T01:26:28Z","type":"item","id":"Q3185759","labels":{"en":{"language":"en","value":"A tableau method for checking rule admissibility in S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6609663"}},"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":"Q3185759$79B0D16D-66E3-4226-BCCF-9F3E5E58763D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"329e14fe9b5beeb8d48faa1ab809b0983a460bc7","datavalue":{"value":{"text":"A Tableau Method for Checking Rule Admissibility in S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3185759$B12D27E1-99FC-4F23-AB76-902DE3221B22","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7730dad5158b2d21acd97435924f432b01796973","datavalue":{"value":"1345.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185759$998B63C2-34D8-450C-BAD1-1CD417D7B979","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62987eb0f13b464daa8403f58fb0761452f94a63","datavalue":{"value":{"entity-type":"item","numeric-id":301371,"id":"Q301371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$11EEC28D-0A46-49B3-8D96-A7049A0FCA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$7D312222-90B8-4684-B3D2-623E00080848","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6f6116a537b2100eaf2b15ff2d89502763ddba9","datavalue":{"value":{"entity-type":"item","numeric-id":702099,"id":"Q702099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$32262E79-FF46-4571-AC09-C6FA825A0E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$7DB49F6C-4261-40E7-9729-3F6D3D59BA76","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":"Q3185759$39026B0D-607C-4680-8D7B-146D47E97B53","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19f8be58b1829936b94d36e09e6fb6fb923fb3ba","datavalue":{"value":{"time":"+2016-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3185759$86A3DC73-56E2-40DF-9F56-881AD219B840","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185759$C5DCE31B-441A-4FA0-862D-1FCB0B2CFED9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a19c26f784dfaec86089868f2c8a2ff49a5e8a8","datavalue":{"value":"6609663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185759$00AAB915-9F41-4FE7-8172-071C2A1358CF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185759$0612A861-A6D3-4E3F-AE1E-636D17DCD63F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db42f37894e53e48759b73abc85ed6c4e821c98c","datavalue":{"value":"admissible rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185759$DB28EB9B-2A64-4630-9E2C-690676D81393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185759$785F0C24-3F85-4322-9C30-04E0F3999C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53ed71aa4cb27c631df34894d94080309a2bd5fe","datavalue":{"value":"\\textsf{S4}","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185759$6CF12969-58BE-485D-8A1B-37019BDF7DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5cd2b5bf3cc960a6390f511a8e0f078f3cfb873","datavalue":{"value":"tableau synthesis framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q3185759$585A1A0A-EBB0-43D5-AB32-220355A5139E","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":"Q3185759$B3F75595-8D10-48E5-A439-8BF2CE51FEA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85fecbdb7fdc937354a5ca750aef2b798749ca9a","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2010.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q3185759$17AD8E5B-64D6-4154-8CD8-473FDA4EA4AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9756fbb044fb1eb7c0d3c383a3dfd2fb7001b8d5","datavalue":{"value":"W2114356493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185759$7A0DAF3B-CAFC-49DA-9CEE-17709A5E104A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef1782a1eaab0cac8510885e2f7617c8d9c7f469","datavalue":{"value":{"entity-type":"item","numeric-id":1317616,"id":"Q1317616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$1A770D44-4CFF-43BC-9719-5F63FB8DD294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$949CC54A-593E-435F-937E-A57F61CFCCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$8DDC9AB0-7A19-435A-903D-D304668A12D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d86df6ede1ae2f2b3db613612faa7cf4f173a1d0","datavalue":{"value":{"entity-type":"item","numeric-id":1971794,"id":"Q1971794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$BBED5EEF-AD08-46CD-B8F3-ACD1EA5E179B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f01d004bc791b096d5f460ea55dd47f3931feec9","datavalue":{"value":{"entity-type":"item","numeric-id":3147430,"id":"Q3147430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$CA61AD7F-D677-462A-A1CB-CE52986835FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a482d3b0a6a8341248ed0be90289e0fe7d2fa86","datavalue":{"value":{"entity-type":"item","numeric-id":5311759,"id":"Q5311759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$69298772-F44C-46F2-98AB-4A3047AD4AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$E67B01BA-470E-495E-B78F-90016B895E69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d3fe70dc62991e79e222a7fc408e5bec950513","datavalue":{"value":{"entity-type":"item","numeric-id":2732279,"id":"Q2732279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$6E674007-57A9-46D3-A10F-52D767959544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05fa13f8d08455deabdb8d53876205365d278e87","datavalue":{"value":{"entity-type":"item","numeric-id":5696300,"id":"Q5696300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$9E51E10D-8594-4DC0-BB8B-1FB6A2F5EBDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f2c7b1ca123ec2d4e3addb0a776271a4803298","datavalue":{"value":{"entity-type":"item","numeric-id":868660,"id":"Q868660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$12F91431-84C8-47C3-AB63-9417F1C291E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91fd5a2f0979b8ec18f6f11198e9f252c9b63233","datavalue":{"value":{"entity-type":"item","numeric-id":4704656,"id":"Q4704656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$6B88D67D-A242-4A28-9D9B-987C711812B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bffed4a7db9147940301de84b906b986de91e3e3","datavalue":{"value":{"entity-type":"item","numeric-id":3226736,"id":"Q3226736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$F3A7F02B-8301-46FC-8C86-0799A1763A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feba6e04bd8121c53caebbcc1df28f8e1ebc0c97","datavalue":{"value":{"entity-type":"item","numeric-id":1245932,"id":"Q1245932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$38AF6EB2-4173-49DF-882F-D31E8BFB2502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7765983df057facd1b56c3296102242db08be75d","datavalue":{"value":{"entity-type":"item","numeric-id":4279242,"id":"Q4279242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$0BB4E334-C938-4FAA-BE27-DBDB37141286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69da35294d6de27753befde76932b036e2da46ab","datavalue":{"value":{"entity-type":"item","numeric-id":1079558,"id":"Q1079558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$EAA41A18-3FDF-4D31-B980-8CA7BFF3B5B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaf14c1078ec193b9e695065f3ac3c45a64aaf13","datavalue":{"value":{"entity-type":"item","numeric-id":3352998,"id":"Q3352998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$3C853686-693C-4601-8B85-3A1E59A479D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21e04418175c987dad1abf52407873a3edc2c40a","datavalue":{"value":{"entity-type":"item","numeric-id":4032871,"id":"Q4032871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$587E9453-FD94-449F-B54E-1B36755AB915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42c62c4402b806ab53881fc2a7a5ded7808d96c","datavalue":{"value":{"entity-type":"item","numeric-id":1309039,"id":"Q1309039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$7EA8F549-A752-424A-8452-3F4826739AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6ce04b9cd2287eadad31499bc1179a15eeae372","datavalue":{"value":{"entity-type":"item","numeric-id":3541702,"id":"Q3541702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$4B32D59C-2954-42DC-9875-CFE22B3FE418","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3596ced879e749ef53140dbf9ff2b1cddd891bcf","datavalue":{"value":{"entity-type":"item","numeric-id":5902297,"id":"Q5902297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$F37741F5-02C0-463E-A3B9-84849045C557","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c47fef618cfd1d626c6d3369e7750059728cb4","datavalue":{"value":{"entity-type":"item","numeric-id":5277814,"id":"Q5277814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3185759$A5931654-0A48-419D-BD9F-AC31A675CB8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e933f9f19ae8467c0d79ba5d39e0e2981eb38825","datavalue":{"value":"10.1016/J.ENTCS.2010.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3185759$9BDA2E37-FBC3-4B55-A408-149C0C26C1D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f594a1f095d0dd5bab0109287228e6a716b42225","datavalue":{"value":{"entity-type":"item","numeric-id":3352998,"id":"Q3352998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab510a68aa7e9894aa24f9ecc653b23c95c80d29","datavalue":{"value":{"amount":"+0.80094975233078","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":"Q3185759$3CD64EF9-EE89-454B-9D80-222DB348E74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ebc03e482d5f1b98817c56429a3448862d84bb","datavalue":{"value":{"entity-type":"item","numeric-id":3727965,"id":"Q3727965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ad9b3961221c46e5c57ceefd402e4ed59f6b1d","datavalue":{"value":{"amount":"+0.7971683144569397","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":"Q3185759$A8E8A762-377C-41DF-B433-81BD1850C395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf69cf4fb39601fe241cf1006639573bc0b00fd","datavalue":{"value":{"entity-type":"item","numeric-id":4474863,"id":"Q4474863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09bd09c2cebe3dd9f5ebba606019deefa4c4139b","datavalue":{"value":{"amount":"+0.7929473519325256","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":"Q3185759$080C934D-AD76-43EE-A425-728C0C9156F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64ffb2f5b23c556a6514f2be6da5b5b71b049600","datavalue":{"value":{"entity-type":"item","numeric-id":1068809,"id":"Q1068809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a49bb3d6a63dc4cc5ca5cdda4765bfa1218a8546","datavalue":{"value":{"amount":"+0.7903245687484741","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":"Q3185759$5B057DDD-A6CD-4871-8E0D-9CD7608BE74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cd4f64baf572fcefc7b8a2490cd580d174ec88","datavalue":{"value":{"entity-type":"item","numeric-id":1023055,"id":"Q1023055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36598ce07407525c1edc71c05b6a3606eb67b3bd","datavalue":{"value":{"amount":"+0.7830850481987","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":"Q3185759$6DFE5C50-AAF3-470E-A61F-DEA53241F932","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3185759","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3185759"}}}}}