{"entities":{"Q549175":{"pageid":550942,"ns":120,"title":"Item:Q549175","lastrevid":51286406,"modified":"2026-01-17T14:47:54Z","type":"item","id":"Q549175","labels":{"en":{"language":"en","value":"Unguardedness mostly means many solutions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5918228"}},"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":"Q549175$A7A02712-2992-4587-B286-FE20A770C375","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b661cd82d73301aaca4d6c9ff5804cfc066580c","datavalue":{"value":{"text":"Unguardedness mostly means many solutions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q549175$B8A313FD-821B-4C03-901F-DC11557359E7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"040f385e24c9711d99ff2c784f2a36bd6f875ce3","datavalue":{"value":"1216.68185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549175$3ABDF229-CC89-4545-AD49-38C1CF046304","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20fc068db4ead04187daa6b8252b30a410683b6","datavalue":{"value":{"entity-type":"item","numeric-id":393088,"id":"Q393088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549175$2FF28445-4D82-473F-8BF4-A3F5F3F18293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"52a961fe9dae5f000974fac5f5d2491a29810f20","datavalue":{"value":{"entity-type":"item","numeric-id":393089,"id":"Q393089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549175$5703BF8C-8EDD-46BF-8E80-1A4570BE0223","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549175$2DDF6073-A22E-4C57-ACB0-C495AD3B659A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9100d2d5a7227329353887f5d42429d935897bcc","datavalue":{"value":{"time":"+2011-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q549175$D6DDEE92-1210-4E69-8BD6-AE23052AE80E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549175$124890A9-2911-4536-8B07-45EB7DCD9F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549175$CF5F3EA5-A666-485B-90BA-CD714CA66328","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a08501a748615a362a77712cd49d95609145fb20","datavalue":{"value":"5918228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549175$2F352271-66E0-4D13-8EA5-474F78B82471","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fef6478deebea6192a3423f56cbaa462613b7716","datavalue":{"value":"process algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q549175$959EA0A4-3F8A-4EE0-9450-6118E8C71290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"785bf190faa925a7f32ee9837877c631e700b086","datavalue":{"value":"recursive specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q549175$0F12EA70-A093-4284-B76F-5DBFC38F63AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df0ad0ec938b09cb3e0cd0c5705b9e5d9cbee111","datavalue":{"value":"unguarded equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q549175$1E47A875-AABA-42EC-86EC-C51BDDC50852","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":"Q549175$7481D917-AFB0-4E28-89BE-129FEC9852FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0af667645c2344dca2dcfc2e683857dde2a1f37c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.02.046","type":"string"},"datatype":"url"},"type":"statement","id":"Q549175$1F60CFE4-C9B4-42E4-B7E7-3A006CBC2749","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4450f50022df8a585588a97456babd3c72b59a02","datavalue":{"value":"W2141784054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549175$24CBA4E6-DBF4-4FD5-8F65-2777A1B9CDE1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebf22b5e0b208fa4dfcfcf742bcaa1a2f4f64d3","datavalue":{"value":{"entity-type":"item","numeric-id":3404131,"id":"Q3404131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549175$B19915FD-D706-4956-A72A-105B08AE1846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a5fb5fbffea037d21a74110d86acc10df1cb367","datavalue":{"value":{"entity-type":"item","numeric-id":1090103,"id":"Q1090103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549175$E578D066-EC0C-44E0-9C49-927D428596EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728ee5d873e9eb90d9e52a2b7bd367c8025cb4dc","datavalue":{"value":{"entity-type":"item","numeric-id":3341873,"id":"Q3341873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549175$B5664CBB-A252-4BF4-9064-0398B66DB0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1312d69afa79930b58aa9f79ad23ca7b77f5ee88","datavalue":{"value":{"entity-type":"item","numeric-id":3028334,"id":"Q3028334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549175$4F52AC8E-36BD-4B67-AB10-8AC7DBE4520A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec3034e3d9bb1362f96db1aad5348ae28f7b7c4f","datavalue":{"value":{"entity-type":"item","numeric-id":3994901,"id":"Q3994901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549175$6DC763A9-4781-47CD-BED3-4B63AECA43C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549175$BA647F79-3CAA-48C3-ADAC-AF861ED9DCBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d102eeedc0eb3199ce5808a637283d2af0ab5d","datavalue":{"value":{"entity-type":"item","numeric-id":1878719,"id":"Q1878719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q549175$0BC32766-D569-438B-B89A-2A6962B4E466","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"67c345b8a698d049030fbff8e203031f1d785382","datavalue":{"value":"10.1016/J.TCS.2011.02.046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q549175$4A6A5E1C-683B-41BE-B5CD-AB0895F2B3EA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"552f672a1e7d366cb030df4c4ba35742c1403cf7","datavalue":{"value":{"entity-type":"item","numeric-id":805246,"id":"Q805246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99356002976c350a504409fb1b0e389942925c6b","datavalue":{"value":{"amount":"+0.7514774203300476","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":"Q549175$596E723F-6138-4EE9-9A35-3F789403FA24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0389ebd9577ca841f6eb1af628d78e41c2b9cf67","datavalue":{"value":{"entity-type":"item","numeric-id":4968384,"id":"Q4968384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa13b00ef1ed10dbf1ec337a230752e4e2f1aa79","datavalue":{"value":{"amount":"+0.7359379529953003","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":"Q549175$AAC8349F-BF2D-4786-AB10-DFC4C49BE446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21d78b07d74319f5838ee1b4b5d03a4cd9859517","datavalue":{"value":{"entity-type":"item","numeric-id":4589616,"id":"Q4589616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d1703eb793e5c3bf5bd051331175a41b2f26e2b","datavalue":{"value":{"amount":"+0.7253977060317993","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":"Q549175$F6DADF5F-F874-418A-AAEC-3D2FE8E2CD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4709cfd176129a3c1d66896cd09bcfa903cea1af","datavalue":{"value":{"entity-type":"item","numeric-id":3178257,"id":"Q3178257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdcebc789fdfab4a7f0e087b0297ca9e660874cf","datavalue":{"value":{"amount":"+0.7142413258552551","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":"Q549175$17540276-58B6-4037-AF58-EB4DBA257F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eccdef63ee65ebe5abf0d9b2a8821e4d27014d69","datavalue":{"value":{"entity-type":"item","numeric-id":2988389,"id":"Q2988389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70a4050195e98c3ea9acb6363e2efbe7371eb583","datavalue":{"value":{"amount":"+0.7106098532676697","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":"Q549175$F01616B6-D51D-4685-B888-ADDDC42F9CAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:549175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:549175"}}}}}