{"entities":{"Q2946646":{"pageid":2957366,"ns":120,"title":"Item:Q2946646","lastrevid":52347269,"modified":"2026-01-22T10:11:31Z","type":"item","id":"Q2946646","labels":{"en":{"language":"en","value":"Two-variable logic on data words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483152"}},"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":"Q2946646$C0EB5AF5-855A-4D22-8659-3B3DE541711F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfb479010a6eb0c48ffc519e6103f700198f4fda","datavalue":{"value":{"text":"Two-variable logic on data words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946646$07D510AB-FA24-4C20-99C4-54DA329DD4B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f57daf31b685f047dc99006001b4445a7f7f27e5","datavalue":{"value":"1352.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946646$2226731D-45EA-4B1B-AC4E-70BF8E00ADF7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"522daf651adfdbf11ad67ca1f7fb3b4715846fb8","datavalue":{"value":"10.1145/1970398.1970403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946646$14EC8EE3-2881-45CF-93C5-B5BC42801770","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f5b3c3247f723a8dd053286a58f85570c0f08c2","datavalue":{"value":{"entity-type":"item","numeric-id":290907,"id":"Q290907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946646$E6F3A20D-9207-4664-ACD0-4372C7E33FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fb443d0bcd75b4b8131961871a2af972f28b13","datavalue":{"value":{"entity-type":"item","numeric-id":602361,"id":"Q602361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946646$28E0D059-D4CF-409F-B31D-FF37E48FA315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946646$34EB9544-1AF8-41B1-A135-58C21EAEB260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a30c2c13b8e433f8b7509914fc24c7510ae2c202","datavalue":{"value":{"entity-type":"item","numeric-id":208764,"id":"Q208764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946646$3C26A13F-D4F5-4849-8D6B-3BAFCEAFE4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf03d46d6c13b138c98e3cc17440d2819249349e","datavalue":{"value":{"entity-type":"item","numeric-id":845666,"id":"Q845666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946646$DDE4A1EF-CFEF-4AEE-9BE6-32A15B9B8851","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946646$01A5D976-0478-422F-AA2A-7BB7277CC547","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946646$C8EAE1C0-F8E0-466C-8F18-CB39E0E473D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946646$F9031410-DE1A-49C0-9A65-6D67E0FB7387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946646$90BD51B4-80EA-41DA-A39A-C8E817DC9810","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946646$228FC808-7B55-417C-9304-C3B259261A5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea034b9acf42cc723a5c4e0a70edb5e30f593d08","datavalue":{"value":"6483152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946646$57951C29-99A9-445E-9EE3-ED266A66D40E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aca14de8ab07e636788ee3f779a206e4d81d434","datavalue":{"value":"data words","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946646$2010D020-337F-4F70-AE08-E6128F09142E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35fe267f2e435a643f403a78baa832858045cd54","datavalue":{"value":"Petri-net reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946646$99224C89-3ABC-49C8-8A71-285FF7CD7466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946646$FA6A0854-3BE0-40FE-98E5-52CE1DC4B565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd7884f20c8f87422bbc52076fab6a08675c0a24","datavalue":{"value":"equivalence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946646$CD4B5065-C328-437E-8A3A-29EADF626A3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25132e04c8b6fc09748e1c5210d4c630e7af4b1a","datavalue":{"value":"two-variables logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946646$F0D84128-222D-4DAF-AF73-65C772C608E6","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":"Q2946646$727B62DE-99A5-4687-99CE-44C869A6427D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b14abc44f11abddf1da3d82144b9343f319bae23","datavalue":{"value":"https://doi.org/10.1145/1970398.1970403","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946646$B7F8911C-AD6C-4647-9466-0AD0AA4AFBB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb9bedb5c3337d5b0e992f95dfec543e8381c9aa","datavalue":{"value":"W2073614038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946646$4BC9765E-5E3D-4B37-85F4-CCB8C767B09B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"fdc4744d703d8c3cef0b7aa5d85d475f3d6bca7f","datavalue":{"value":"Q130866193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946646$062F176C-0C2B-4203-BEB2-A774A87E88D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98dbc6fdc750ab1f329258e353367f8507caf606","datavalue":{"value":{"entity-type":"item","numeric-id":4933309,"id":"Q4933309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31d57039fefe429e746a9891c6a0971f0dbb1fe","datavalue":{"value":{"amount":"+0.8863497376441956","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":"Q2946646$30C804D3-8523-49B9-9D92-E03C5D7646EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55eaef5a79c4548262b6e763c5e990be6df1447e","datavalue":{"value":{"entity-type":"item","numeric-id":2958540,"id":"Q2958540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fdf71c1e14dd73aa114ebfa657add51503610e","datavalue":{"value":{"amount":"+0.8738934397697449","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":"Q2946646$9C70F8E3-2E02-4843-A343-EE35D01EAD48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f309b07b5b416ab2fedfbe8171862759e16a28fc","datavalue":{"value":{"entity-type":"item","numeric-id":5901154,"id":"Q5901154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe9eb60f670e1d9d2666b26c720aac9b3126da7","datavalue":{"value":{"amount":"+0.8335885405540466","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":"Q2946646$617C0D94-BEBD-488B-BE54-DA37A000F4A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd697792be6d1f7b2f8875ed5175a04ec126b6b8","datavalue":{"value":{"entity-type":"item","numeric-id":5891508,"id":"Q5891508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f25ecd10db9c1bad86599c857f754c6fd73c45e9","datavalue":{"value":{"amount":"+0.8270361423492432","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":"Q2946646$E946D879-4CE6-4DA9-A8B4-2276A3D1D3AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7c533a0b0b20fcf976f04735308c676a9e5fee","datavalue":{"value":{"entity-type":"item","numeric-id":2890205,"id":"Q2890205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b1cddc4942d67c599425247c436d3eb08823096","datavalue":{"value":{"amount":"+0.8143151998519897","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":"Q2946646$75858FC3-5193-4916-9339-659162DAEB9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946646"}}}}}